The following pages link to (Q5483303):
Displaying 19 items.
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on (Q891023) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- On a strong negation-based representation of modalities (Q2035345) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- An implicational logic for orthomodular lattices (Q2979435) (← links)
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice (Q3097868) (← links)
- The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 (Q4598506) (← links)
- Distributive nearlattices with a necessity modal operator (Q4615834) (← links)
- Polymodal Lattices and Polymodal Logic (Q4879200) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Relational Methods in Computer Science (Q5899316) (← links)
