Order-dual relational semantics for non-distributive propositional logics

DOI10.1093/jigpal/jzw057zbMath1405.03071OpenAlexW2522871695MaRDI QIDQ4644475

Chrysafis Hartonas

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzw057

zbMATH Keywords

relational semanticsgaggle theorygeneralized Galois logicsnon-distributive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (8)

Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Duality results for (co)residuated lattices ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi

This page was built for publication: Order-dual relational semantics for non-distributive propositional logics