Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
From MaRDI portal
Publication:1975160
DOI10.1023/A:1005228629540zbMath0955.03038MaRDI QIDQ1975160
Publication date: 26 February 2001
Published in: Studia Logica (Search for Journal in Brave)
distributive latticesPriestley dualityalgebraic semanticsKripke-style semanticscanonical embedding algebras
Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50)
Related Items (8)
Syntactic Completeness of Proper Display Calculi ⋮ Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras ⋮ Boolean algebras arising from information systems ⋮ 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 ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Truth-values as labels: a general recipe for labelled deduction
This page was built for publication: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
