Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I

DOI10.1023/A:1005298632302zbMath0948.06009MaRDI QIDQ1970594

Viorica Sofronie-Stokkermans

Publication date: 14 November 2000

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

distributive lattices with operatorscanonical embedding algebrasPristley duality

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Stone spaces (Boolean spaces) and related structures (06E15) Distributive lattices (06D99)

Related Items

Algebras with implication and fusion: a different point of view., Syntactic Completeness of Proper Display Calculi, Boolean topological distributive lattices and canonical extensions, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Coalgebraic representations of distributive lattices with operators, Duality results for (co)residuated lattices, Duality for normal lattice expansions and sorted residuated frames with relations, Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Duality for double quasioperator algebras via their canonical extensions, Algorithmic correspondence for intuitionistic modal mu-calculus, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Heyting algebras with Boolean operators for rough sets and information retrieval applications, Bounded lattice expansions, Irreducible equivalence relations, Gleason spaces, and de Vries duality, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Truth-values as labels: a general recipe for labelled deduction, Unnamed Item