Free and projective bimodal symmetric Gödel algebras

DOI10.1007/s11225-015-9630-3zbMath1391.03044OpenAlexW2206489755MaRDI QIDQ300560

Tatiana Kiseliova, Vladimer Odisharia, Revaz Grigolia

Publication date: 28 June 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-015-9630-3

zbMATH Keywords

modal logicfree algebraGödel logicprojective algebrasymmetric intuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Qualitative reasoning in a two-layered framework, Paraconsistent Gödel modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On superintuitionistic logics as fragments of proof logic extensions
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Varieties of monadic Heyting algebras. II: Duality theory
• On closed elements in closure algebras
• A propositional calculus with denumerable matrix
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• An algebraic approach to intuitionistic connectives
• Unification through projectivity
• Independence in algebras of sets and Boolean algebras
• Modal logics with linear alternative relations