Pages that link to "Item:Q1970594"
From MaRDI portal
The following pages link to Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I (Q1970594):
Displaying 30 items.
- Priestley duality for bilattices (Q454389) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Completeness theorems via the double dual functor (Q1970592) (← links)
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II (Q1975160) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Functorial duality for ortholattices and De Morgan lattices (Q2470761) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Order-duality, negation and lattice representation (Q2751048) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- (Q4625704) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Stone duality for lattice expansions (Q5095649) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)