References
A. G. Dragalin,Mathematical Intuitionism. Introduction to the Theory of Proofs [in Russian], Nauka, Moscow (1979).
Ya. S. Smetanich, “On the completeness of a propositional calculus with an supplementary operation in one variable,”Tr. Mosk. Mat. Obsch.,9, 357–351 (1960).
D. M. Gabbay, “On some new intuitionistic propositional connectives. 1,”Studia Logica,36, No. 1–2, 127–139 (1977).
K. Schutte, “Complete systems of the model and intuitionistic logics,” In:R. Face, Modal Logic, Nauka, Moscow (1976).
S. K. Sobolev, “On an intuitionistic propositional calculus with quantors,”Mat. Zametki,22, No. 1, 69–76 (1977).
Additional information
Translated from Matematicheskie Zametki, Vol. 56, No. 1, pp. 135–142, July, 1994.
Rights and permissions
About this article
Cite this article
Yashin, A.D. The Smetanich logic 745-01745-01745-01and two definitions of a new intuitionistic connective. Math Notes 56, 745–750 (1994). https://doi.org/10.1007/BF02110566
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02110566