Vladimir Krupski

Suggest Changes
Learn More
We introduce an extension of the propositional logic of single-conclusion proofs by the second order variables denoting the reference constructors of the type “the formula which is proved by x.” The(More)