Representation of Lattices with Modal Operators in Two-Sorted Frames
From MaRDI portal
Publication:5379876
DOI10.3233/FI-2019-1793zbMath1435.03090WikidataQ128190952 ScholiaQ128190952MaRDI QIDQ5379876
Chrysafis Hartonas, Ewa S. Orłowska
Publication date: 14 June 2019
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Lattices and duality (06D50) Other algebras related to logic (03G25)
Related Items (6)
Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Positive modal logic beyond distributivity ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Modal translation of substructural logics ⋮ Quantum monadic algebras
This page was built for publication: Representation of Lattices with Modal Operators in Two-Sorted Frames