We consider a φ-logic L(ω) of a frame of order type ω endowed with an irreflexive operator. The irreflexive modality in LC was treated by the author in [Sib. Math. J., 55, No. 1, 185-190 (2014)] where it was shown that this modality on the class of finite chains, on the one hand, and on a single chain of order type ω, on the other hand, generates inconsistent φ-logics over LC. There, also, it was stated that L(ω) defines a new nonconstant connective in LC. Here we establish that the φ-logic L(ω) is Novikov complete over LC.
Similar content being viewed by others
References
P. S. Novikov, Constructive Mathematical Logic from a Classical Point of View, Mathematical Logic and the Foundations of Mathematics [in Russian], Nauka, Moscow (1977).
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).
M. Dummett, “A propositional calculus with denumerable matrix,” J. Symb. Log., 24, No. 1, 97-106 (1959).
L. L. Maksimova, “Pretable superintuitionistic logics,” Algebra and Logic, 11, No. 5, 308-314 (1972).
A. D. Yashin, “Irreflexive modality as a new logical connective in the Dummett logic,” Sib. Math. J., 55, No. 1, 185-190 (2014).
A. Yashin, “Dummett logic, irreflexive modality and Novikov completeness,” in Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contrib. Log., 15, S. Odintsov (ed.), Springer (2018), pp. 319-337.
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).
D. M. Gabbay, “On some new intuitionistic propositional connectives. I,” Stud. Log., 36, Nos. 1/2, 127-139 (1977).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 59, No. 6, pp. 702-718, November-December, 2020. Russian DOI: https://doi.org/10.33048/alglog.2020.59.605.
Rights and permissions
About this article
Cite this article
Yashin, A.D. Irreflexive Modality on a Chain of Type ω and P. S. Novikov Completeness. Algebra Logic 59, 471–482 (2021). https://doi.org/10.1007/s10469-021-09618-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-021-09618-y