A discrete representation of lattice frames

DOI10.1007/978-3-662-60292-8_7OpenAlexW2980284437MaRDI QIDQ2291229FDOQ2291229

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (4)

• Title not available (Why is that?)
• 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)