Abstract
Gödel logic (alias Dummett logic) is the extension of intuitionistic logic by the linearity axiom. Symmetric Gödel logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives. Symmetric Gödel logic is the extension of symmetric intuitionistic logic (L. Esakia, C. Rauszer). The proof-intuitionistic calculus, the language of which is an enrichment of the language of intuitionistic logic by modal operator was investigated by Kuznetsov and Muravitsky. Bimodal symmetric Gödel logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives and two modal operators. Bimodal symmetric Gödel logic is embedded into an extension of (bimodal) Gödel–Löb logic (provability logic), the language of which contains disjunction, conjunction, negation and two (conjugate) modal operators. The variety of bimodal symmetric Gödel algebras, that represent the algebraic counterparts of bimodal symmetric Gödel logic, is investigated. Description of free algebras and characterization of projective algebras in the variety of bimodal symmetric Gödel algebras is given. All finitely generated projective bimodal symmetric Gödel algebras are infinite, while finitely generated projective symmetric Gödel algebras are finite.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abashidze, M., On some properties of Magari algebras, in Logical-Semantical Investigations, Metsniereba, Tbilisi, 1981, pp. 111–127.
Bezhanishvili G.: Varieties of monadic Heyting algebras, Part II: Duality theory. Studia Logica 62, 21–48 (1999)
Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, PhD Thesis, 2006.
Birkhoff G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society 31, 433–454 (1935)
Boolos G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)
Chagrov A. V., Zakharyaschev M. V.: Modal Logic. Oxford University Press, Oxford (1996)
Di Nola A., Grigolia R.: Projective MV-algebras and their automorphism groups. Journal of Multiple-Valued Logic and Soft Computing 9, 291–317 (2003)
Dummett M.: A propositional calculus with denumerable matrix. Journal of Symbolic Logic 24(2), 97–106 (1959)
Engelking, R., General Topology, PWN, Warszawa, 1977.
Esakia, L., The problem of dualism in the intuitionistic logic and Browerian lattices, in V International Congress for Logic Methodology and Philosophy of Sciences, Contributed Papers, Section 1, London, ON, 1975, pp. 7–8.
Esakia, L., Semantical analysis of bimodal (temporal) systems, Logic, Semantics, Methodology, Mecniereba Press, Tbilisi, 1978, pp. 87–99.
Esakia, L., Heyting Algebras I, Duality Theory, Metsniereba Press, Tbilisi, 1985 (in Russian).
Esakia, L., Provability interpretation of Intuitionistic Logic, in Logical Investigations, vol. 5, Nauka, Moscow, 1998, pp. 19–24 (in Russian).
Esakia L.: The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Journal of Applied Non-Classical Logics 16(3–4), 349–366 (2006)
Esakia L., Grigolia R.: The criterion of Browerian and closure algebras to be finiteliy generated. The Bulletin of the Section of Logic 6(2), 46–52 (1973)
Esakia L., Grigolia R.: Formulas of one propositional variable in the intuitionistic logic with the Solovay modality. Logic and Logical Philosophy 17, 111–127 (2008)
Caicedo X., Cignoli R.: An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic 66(4), 1620–1636 (2001)
Ghilardi S.: Unification through projectivity. The Journal of Symbolic Computation 7(6), 733–752 (1997)
Grätzer, G., Universal Algebras, 2nd ed., Springer, New York, 1979.
Kuznetsov A.: Muravitsky On superintuitionistic logics as fragments of Proof Logic extensions. Studia Logica 45, 77–99 (1986)
Kuznetsov, A. V., The proof-intuitionistic propositional calculus, Doklady Akademii Nauk SSSR 283(1):27–30, 1985 (in Russian), English translation: Soviet Mathematics – Doklady 32(1):27–30, 1985.
Magari R.: Representation and duality theory for diagonalizable algebras (The algebraization of theories which express Theor. IV). Studia Logica 34, 305–313 (1975)
Mal’cev, A., Algebraic systems, Die Grundlehren der mathematischen Wissenschaften. Band 192, Springer, Berlin; Akademie-Verlag, Berlin XII, 1973, 317 pp.
Marczewski, E., Independence in algebras of sets and Boolean algebras, Fundamenta Mathematicae 48:135–145, 1959/1960.
McKenzie, R., An algebraic version of categorical equivalence for varieties and moe generalalgebraic categories, in Logic and Algebra (Pontignano, 1994), vol. 180 of Lecture Notes in Pure and Applied Mathematics, Dekker, New York, 1996, pp. 211–243, Die Grundlehren der mathematischen Wissenschaften. Band 192, Springer, Berlin; Akademie-Verlag, Berlin, XII, 317 pp., 1973.
McKinsey J., Tarski A.: On closed elements in Closure algebras. Annals of Mathematics 47, 122–162 (1946)
Muravitsky, A. Y., Strong equivalence on intitionistic Kripke models and assertorically equivolumnous logics, Algebra Logika 20(2):165–182, 1981 (in Russian), English translation: Algebra and Logic 20(2), 31(2):165–182, 1981.
Muravitsky, A. Y., Finite approximability of the calculus I Δ and the non-modelability of some its extensions, Matematicheskie Zametki 29(6):907–916, 1981 (in Russian), English translation: Mathematical Notes 29(5–6):463–468, 1981.
Muravitsky, A. Y., A correspondence between extensions of the Proof-Intuitionistic logic and extensions of the Provability Logic, Doklady Akademii Nauk SSSR 281(4):789–793, 1985 (in Russian), English translation: Soviet Mathematics – Doklady 31(2):345–348, 1985.
Rauszer C.: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. Fundamenta Mathematicae 83(3), 219–249 (1973)
Segerberg K.: Modal logic with linear alternative relations. Theoria 38(3), 301–322 (1970)
Solovay R.: Provability interpretation of modal logics. Israel Journal of Mathematics 25, 287–304 (1976)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Grigolia, R., Kiseliova, T. & Odisharia, V. Free and Projective Bimodal Symmetric Gödel Algebras. Stud Logica 104, 115–143 (2016). https://doi.org/10.1007/s11225-015-9630-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9630-3