Order-dual relational semantics for non-distributive propositional logics

DOI10.1093/JIGPAL/JZW057MaRDI QIDQ4644475zbMATH OpenOpenAlexFDO

Authors Chrysafis Hartonas

Publication date 8 January 2019

Published in Logic Journal of the 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

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

Recommendations

• Semantics and expressiveness of disjunctive ordered logic
• A generalization of ordered-pair semantics
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 1795986
• Ordering default theories and nonmonotonic logic programs
• From ordering-based nonmonotonic reasoning to conditional logics
• Ordering protoalgebraic logics
• An efficient relational deductive system for propositional non-classical logics

Cited in

(14)

• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• A generalization of ordered-pair semantics
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Choice-free topological duality for implicative lattices and Heyting algebras
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• scientific article; zbMATH DE number 7713503 (Why is no real title available?)
• Duality results for (co)residuated lattices
• Modal and temporal extensions of non-distributive propositional logics
• Algorithmic correspondence and canonicity for non-distributive logics
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

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

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