Literature cited
K. Schutte, “Complete systems in modal and intuitionistic logic,” in: R. Feis, Modal Logic [in Russian], Nauka, Moscow (1974).
D. Scott, “Notes on modal logic,” in: The Semantics of Modal and International Logics [in Russian], Progress, Moscow (1981).
A. G. Dragalin, Mathematical Intuitionism. An Introduction to the Theory of Proofs [in Russian], Nauka, Moscow (1979).
N. M. Ermolaeva and A. A. Muchnik, “Functional representability in linearly ordered models of certain propositional logics,” Theses 6th All-Union Conf. on Math. Logic, Tbilisi (1982), p. 123.
D. P. McCullough, “Logical connectives for intuitionistic propositional logic,” J. Symbolic Logic,36, No. 1, 15–20 (1971).
D. M. Gabbary, “Model theory for intuitionistic logic,” Z. Math. Logik Grundlag. Math.,18, No. 1, 49–54 (1972).
C. C. Chang and H. J. Keisler, Model Theory, Elsevier (1974).
K. Segerberg, “Modal logics with linear alternativity relations,” in: The Semantics of Modal and Intentional Logics [in Russian], Progress, Moscow (1981).
A. D. Yashin, “An intuitionistic predicate logic with the connective ‘tomorrow’,” Vestn. Mosk. Gos. Univ., Ser. Math. Mekh., No. 4, 19–22 (1982).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 35, No. 5, pp. 663–675, May, 1984.
In conclusion, the author thanks A. G. Dragalin for his constant attention to this article.
Rights and permissions
About this article
Cite this article
Yashin, A.D. Intuitionistic logical connectives on linear structures. Mathematical Notes of the Academy of Sciences of the USSR 35, 348–355 (1984). https://doi.org/10.1007/BF01137690
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01137690