The separation theorem of intuitionist propositional calculus
- 1 December 1962
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 27 (4), 391-399
- https://doi.org/10.2307/2964545
Abstract
A standard set of axioms for the intuitionist propositional calculus is the following (we associate to the right, and use the convention that ⊃ binds less strongly than the other connectives).Keywords
This publication has 2 references indexed in Scilit:
- Algebraic treatment of the notion of satisfiabilityFundamenta Mathematicae, 1953
- A note on the reduction of Gentzen’s calculus 𝐿𝐽Bulletin of the American Mathematical Society, 1939