Pages that link to "Item:Q1368914"
From MaRDI portal
The following pages link to Duality for lattice-ordered algebras and for normal algebraizable logics (Q1368914):
Displayed 21 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- 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)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- Topological duality and lattice expansions. I: A topological construction of canonical extensions. (Q2449453) (← links)
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- B-frame duality (Q2689804) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- First-order frames for orthomodular quantum logic (Q4586154) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- (Q6099196) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)