It is proved that there exist exactly five Novikov complete extensions of the superintuitionistic logic L3 in a language with one extra logical constant.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka, Moscow (1979).
D. P. Skvortsov, “Intuitionistic propositional calculus with extra logical connective,” in Contributions to Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow (1983), pp. 154-173.
Ya. S. Smetanich, “Completeness of propositional calculus with an extra operation in one variable,” Trudy Mosk. Mat. Obshch., 9, 357-371 (1960).
Ya. S. Smetanich, “Propositional calculi with extra operation,” Dokl. Akad. Nauk SSSR, 139, No. 2, 309-312 (1961).
A. D. Yashin, “A new constant in the intuitionistic propositional logic,” Fund. Prikl. Math., 5, No. 3, 903-926 (1999).
A. D. Yashin, “New intuitionistic logical constants and Novikov completeness,” Stud. Log., 63, No. 2, 151-180 (1999).
A. D. Yashin, “Classification of Novikov complete logics with extra logical constants,” Algebra and Logic, 42, No. 3, 207-216 (2003).
A. D. Yashin, “A new regular constant in intuitionistic propositional logic,” Sib. Math. J., 37, No. 6, 1242-1258 (1996).
V. A. Yankov, “Construction of sequences of strongly independent superintuitionistic propositional calculi,” Dokl. Akad. Nauk SSSR, 181, No. 1, 33/34 (1968).
L. L. Maksimova, “Pretable superintuitionistic logics,” Algebra and Logic, 11, No. 5, 308-314 (1972).
A. D. Yashin, “New constants in two pretabular superintuitionistic logics,” Algebra and Logic, 50, No. 2, 171-186 (2011).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
H. Ono, “Kripke models and intermediate logics,” Publs. Res. Inst. Math. Sci., Kyoto Univ., 6, No. 71, 461-476 (1970).
M. C. Fitting, Intuitionistic Logic, Model Theory and Forcing, Stud. Log. Found. Math., North-Holland, Amsterdam (1969).
L. L. Esakia, Heyting Algebras [in Russian], Metsniereba, Tbilisi (1985).
D. P. Dubashi, “On decidable varieties of Heyting algebras,” J. Symb. Log., 57, No. 3, 988-991 (1992).
A. Chagrov and M. Zakharyaschev, Modal Logics, Oxford Log. Stud., 35, Clarendon, Oxford (1997).
M. Zakharyaschev, F. Wolter, and A. Chagrov, “Advanced modal logic,” in Handbook of Philosophical Logic, Vol. 3, D. M. Gabbay et al. (Eds.), Kluwer, Dordrecht (2001), pp. 83-266.
M. V. Zakharyaschev, “Syntax and semantics of intermediate logics,” Algebra and Logic, 28, No. 4, 262-282 (1989).
R. I. Goldblatt, “Metamathematics of modal logic. I,” Rep. Math. Log., 6, 41-77 (1976).
R. I. Goldblatt, “Metamathematics of modal logic. II,” Rep. Math. Log., 7, 21-52 (1977).
N. Bezhanishvili and D. de Jongh, “Intuitionistic logic,” http://www.illc.uva.nl/Publications/ResearchReports/PP-2006-25.text.pdf.
R. Sh. Grigolia, “Free S4.3-algebras generated by finitely many elements,” in Contributions to Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow (1983), pp. 281-287.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 54, No. 1, pp. 34-52, January-February, 2015.
Rights and permissions
About this article
Cite this article
Koshcheeva, A.K. A New Constant in Superintuitionistic Logic L3. Algebra Logic 54, 23–35 (2015). https://doi.org/10.1007/s10469-015-9319-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-015-9319-8