Discrete duality for lattices with modal operators

DOI10.1093/logcom/exy030zbMath1444.03174OpenAlexW2911310556WikidataQ129216198 ScholiaQ129216198MaRDI QIDQ3120204

Chrysafis Hartonas

Publication date: 1 March 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exy030

zbMATH Keywords

Stone dualitydiscrete dualitymodal latticesnon-distributive logicslattices with operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50) Other algebras related to logic (03G25)

Related Items (9)

Duality results for (co)residuated lattices ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Positive modal logic beyond distributivity ⋮ Intuitionistic propositional logic with Galois negations ⋮ Unnamed Item ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Modal translation of substructural logics ⋮ St. Alasdair on Lattices Everywhere ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

This page was built for publication: Discrete duality for lattices with modal operators