Chapter IX Positive Implicative Logic and Classical Implicative Logic

An Algebraic Approach to Non-Classical Logics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70083-7 ◽

1974 ◽

pp. 210-233

Download Full-text