On some new intuitionistic propositional connectives. I
- 1 March 1977
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 36 (1) , 127-139
- https://doi.org/10.1007/bf02121119
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On 2nd order intuitionistic propositional calculus with full comprehensionArchive for Mathematical Logic, 1974
- Logical connectives for intuitionistic propositional logicThe Journal of Symbolic Logic, 1971
- An extension of the intuitionsitic propositional calculusIndagationes Mathematicae, 1971