Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
From MaRDI portal
Publication:1970594
DOI10.1023/A:1005298632302zbMath0948.06009MaRDI QIDQ1970594
Publication date: 14 November 2000
Published in: Studia Logica (Search for Journal in Brave)
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
