Lattice logic as a fragment of (2-sorted) residuated modal logic

DOI10.1080/11663081.2018.1547515MaRDI QIDQ5379322zbMATH OpenOpenAlexWikidataFDO

Authors Chrysafis Hartonas

Publication date 28 May 2019

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1547515

zbMATH Keywords

Gödel-Tarski translationmodal logicsmulti-modal logicsnon-classical logicsnon-distributive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Lattices and duality (06D50)

Recommendations

• scientific article; zbMATH DE number 5046779
• scientific article; zbMATH DE number 1471993
• On two fragments with negation and without implication of the logic of residuated lattices
• Lattice-valued modal propositional logic and its completeness
• scientific article; zbMATH DE number 150217
• Residuated lattices. An algebraic glimpse at substructural logics
• Polymodal Lattices and Polymodal Logic
• A Duality for Algebras of Lattice-Valued Modal Logic
• scientific article; zbMATH DE number 2070197
• Labelled calculi for lattice-based modal logics

Cites work

• A fresh perspective on canonical extensions for bounded lattices.
• A lattice of normal modal logics
• A topological representation of lattices
• A topological representation theory for lattices
• Bi-approximation semantics for substructural logic at work
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• Bounded lattice expansions
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Concept lattices and conceptual knowledge systems
• Decidable Fragments of Many-Sorted Logic
• Discrete duality for lattices with modal operators
• Display logic
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Free modal algebras revisited: the step-by-step method
• Fuzzy and rough formal concept analysis: a survey
• Generalized Kripke frames
• scientific article; zbMATH DE number 1699994 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 908162 (Why is no real title available?)
• scientific article; zbMATH DE number 927104 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• Intuitionistic logic and modality via topology
• Lattice logic properly displayed
• Modal and temporal extensions of non-distributive propositional logics
• Modal companions of intermediate propositional logics
• On languages with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• On the syntactical construction of systems of modal logic
• Order-dual relational semantics for non-distributive propositional logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representation of lattices with modal operators in two-sorted frames
• Semantic analysis of orthologic
• Some theorems about the sentential calculi of Lewis and Heyting
• Stone duality for lattice expansions
• Stone duality for lattices
• The algebra of topology
• The bounded proof property via step algebras and step frames
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The geometry of non-distributive logics
• The Gödel-Tarski translations of intuitionistic propositional formulas
• The Modal Multilogic of Geometry
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Varieties of lattices

Cited in

(5)

• Duality results for (co)residuated lattices
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Duality for normal lattice expansions and sorted residuated frames with relations
• Modal translation of substructural logics
• On the logical and algebraic aspects of reasoning with formal contexts

This page was built for publication: Lattice logic as a fragment of (2-sorted) residuated modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5379322)