References
J. G. Anderson, Thesis 1966, Newcastle Upon Tyne.
K. B. Bowen,An extension of the intuitionistic propositional calculus,Indagationes Mathematicae 1971, pp. 287–293.
Dov M. Gabbay,Model theory for intuitionistic logic,Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1971, pp. 75–86.
Dov M. Gabbay,On the 2nd order intuitionistic propositional calculus with full comphrehension,Archive für mathematische Logik 1974, pp. 177–186.
D. P. McCullough,Logical connectives for intuitionistic propositional logic,Journal of Symbolic Logic 1971, pp. 15–21.
C. Wojtkiewicz,From the history of constructive logic with strong negation,Bulletin of the Section of Logic, Polish Academy of Sciences, Vol. 1, No 3 (1972), pp. 62–71.
R. Solovay, to appear inIsrael Journal of Mathematics.
Dov M. Gabbay,Semantical investigations in Heyting's logic, D. Reidel Publ., in press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gabbay, D.M. On some new intuitionistic propositional connectives. I. Stud Logica 36, 127–139 (1977). https://doi.org/10.1007/BF02121119
Issue Date:
DOI: https://doi.org/10.1007/BF02121119