Lattice logic as a fragment of (2-sorted) residuated modal logic
From MaRDI portal
Publication:5379322
DOI10.1080/11663081.2018.1547515zbMath1444.03057OpenAlexW2902940308MaRDI QIDQ5379322
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
Related Items (4)
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A fresh perspective on canonical extensions for bounded lattices.
- Intuitionistic logic and modality via topology
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- The bounded proof property via step algebras and step frames
- Generalized Kripke frames
- A topological representation of lattices
- Modal companions of intermediate propositional logics
- Varieties of lattices
- Concept lattices and conceptual knowledge systems
- A lattice of normal modal logics
- A topological representation theory for lattices
- Stone duality for lattices
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Semantic analysis of orthologic
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Lattice logic properly displayed
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Display logic
- The algebra of topology
- The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
- Discrete duality for lattices with modal operators
- Decidable Fragments of Many-Sorted Logic
- On languages with two variables
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- The Modal Multilogic of Geometry
- On the Decision Problem for Two-Variable First-Order Logic
- Order-dual relational semantics for non-distributive propositional logics
- Modal and temporal extensions of non-distributive propositional logics
- Bounded distributive lattice expansions
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- Stone duality for lattice expansions
- Free Modal Algebras Revisited: The Step-by-Step Method
- Representation of Lattices with Modal Operators in Two-Sorted Frames
- Fuzzy and rough formal concept analysis: a survey
- The geometry of non-distributive logics
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Some theorems about the sentential calculi of Lewis and Heyting
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- On the syntactical construction of systems of modal logic
- Bounded lattice expansions
This page was built for publication: Lattice logic as a fragment of (2-sorted) residuated modal logic