A discrete representation of lattice frames

DOI10.1007/978-3-662-60292-8_7MaRDI QIDQ2291229zbMATH OpenOpenAlexFDO

Authors Ivo Düntsch, Ewa Orłowska

Publication date 30 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Representation of lattices with modal operators in two-sorted frames
• Discrete duality for lattices with modal operators
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Dualities for structures of applied logics

Cited in

(4)

• scientific article; zbMATH DE number 7552279 (Why is no real title available?)
• St. Alasdair on Lattices Everywhere
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• DISCRETE-TIME WILSON FRAMES WITH GENERAL LATTICES

This page was built for publication: A discrete representation of lattice frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291229)