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

DOI10.1023/A:1005228629540zbMath0955.03038MaRDI QIDQ1975160

Viorica Sofronie-Stokkermans

Publication date: 26 February 2001

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

zbMATH Keywords

distributive latticesPriestley dualityalgebraic semanticsKripke-style semanticscanonical embedding algebras

Mathematics Subject Classification ID

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