Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 391–399.

1967 ◽  
Vol 32 (2) ◽  
pp. 282-282
Author(s):  
T. Thacher Robinson
Keyword(s):  
Propositional Calculus ◽  
Separation Theorem ◽  
Symbolic Logic

The separation theorem of intuitionist propositional calculus

1962 ◽  
Vol 27 (4) ◽  
pp. 391-399 ◽  
Author(s):  
Alfred Horn
Keyword(s):  
Propositional Calculus ◽  
Separation Theorem ◽  
The Other ◽  
Standard Set ◽  
The Right

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).

Sign in / Sign up

Export Citation Format

Share Document