Abstract
A. Kuznetsov considered a logic which extended intuitionistic propositional logic by adding a notion of 'irreflexive modality'. We describe an extension of Kuznetsov's logic having the following properties: (a) it is the unique maximal conservative (over intuitionistic propositional logic) extension of Kuznetsov's logic; (b) it determines a new unary logical connective w.r.t. Novikov's approach, i.e., there is no explicit expression within the system for the additional connective; (c) it is axiomatizable by means of one simple additional axiom scheme.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
Artemov, S. N. Issues on axiomatization and completeness of modal provability logics. Thesis, Steklov Mathematics Institute, Moscow, 1988, 158 pp. (Russian).
Bessonov, A. V. “New operations in the intuitionistic calculus.” Mathematical Notes, 1977, v. 22, No. 1, p. 23–28 (Russian); English translation: Mathematical Notes, 1977, v. 22, No. 1.
Boolos, G. and Jeffrey, R. Computability and Logic. Cambridge University Press, 1989.
Chagrov, A. and Zakharyaschev, M. “Modal companions of intermediate propositional logics.” Studia Logica, 1992, v. 51, No. 1, p. 49–82.
Dardjaniya, G. K. “A sequent-type variant of the modal system IΔ.” In: Metalogical Investigations, Tbilisi, 1985, p. 59–72 (Russian).
Dragalin, A. G. Mathematical intuitionism: An introduction to proof theory. American Mathematical Society, Providence, Rhode Island, 1988.
Esakia, L. L. Heyting algebras. Metzniereba, Tbilisi, 1985 (Russian).
Goldblatt, R. I. “Metamathematics of modal logic I, II.” Reports on Math. Logic, 1976, v. 6, p. 41–78; v. 7, p. 21–52.
Kaminski, M. “Nonstandard connectives for intuitionistic propositional logic.” Notre Dame J. of Formal Logic, 1988, v. 29, 3, p. 309–331.
Kuznetsov, A. V. “On intuitionistic propositional provability calculus.” Doklady Akademii Nauk SSSR, 1985, v. 283, No. 1, p. 27–30 (Russian); English translation: Soviet Math. Doklady, 1985, v. 32, No. 1, p. 27–30.
Muravitsky, A. Yu. “Finite approximability of the calculus IΔ and nonmodellability of some of its extensions.” Matem. Zametki, 1981, v. 29, No. 6, p. 907–916 (Russian); English translation: Mathematical Notes, 1981, v. 29, No. 5–6, p. 463–468.
Rasiowa, H. and Sikorski, R. The Mathematics of Metamathematics. PWN, Warszawa, 1963.
Shavrukov, V. Yu. “On two extensions of the provability logic GL.” Matematicheskii Sbornik, 1990, v. 181, No. 2, p. 240–255 (Russian); English translation: Mathematics of the USSR Sbornik, 1991, v. 69, p. 255–270.
Skvortsov, D. P. “On intuitionistic propositional calculus with an additional logical connectives.” In: Investigations in Nonclassical Logics and Formal Systems. Nauka, Moskow, 1983, p. 154–173 (Russian).
Smetanich, Ya. S. “On the completeness of the propositional calculus with additional operations in one argument.” Proc. of Moscow Math. Society, 1960, v. 9, p. 357–371 (Russian); reviewed in MR, v. 24 (1962), A680.
Smetanich, Ya. S. “Propositional calculi with additional operations”. Soviet Math. Doklady, 1961, v. 139, No. 2, p. 309–312 (Russian); reviewed in MR, v. 26 (1963), p. 503–506.
Yankov, V. A. “The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures.” Doklady Akademii Nauk SSSR, 1963, v. 151, p. 1293–1294; English translation: Soviet Math. Doklady, 1963, v. 4, p. 1203–1204.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yashin, A.D. Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28, 175–197 (1999). https://doi.org/10.1023/A:1004229908345
Issue Date:
DOI: https://doi.org/10.1023/A:1004229908345