Pages that link to "Item:Q1632052"
From MaRDI portal
The following pages link to Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052):
Displaying 10 items.
- 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)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- B-frame duality (Q2689804) (← links)
- Reactive Kripke Semantics (Q2864222) (← links)
- (Q3216643) (← links)
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers (Q3613413) (← links)
- Modal and temporal extensions of non-distributive propositional logics (Q4644536) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)