Pages that link to "Item:Q4644475"

The following pages link to Order-dual relational semantics for non-distributive propositional logics (Q4644475):

Displaying 13 items.

• Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
• Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II (Q1975160) (← links)
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
• A generalization of ordered-pair semantics (Q2148827) (← 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)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• Duality results for (co)residuated lattices (Q2418015) (← links)
• (Q4551034) (← links)
• Modal and temporal extensions of non-distributive propositional logics (Q4644536) (← links)
• Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
• Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)