Order-dual relational semantics for non-distributive propositional logics

DOI10.1093/JIGPAL/JZW057zbMATH Open1405.03071OpenAlexW2522871695MaRDI QIDQ4644475FDOQ4644475

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

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

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)

Cited In (14)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
• 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)