Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

DOI10.1007/978-3-030-71430-7_13MaRDI QIDQ5027243zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Ivo Düntsch

Publication date 4 February 2022

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-71430-7_13

zbMATH Keywords

commutator algebrasdiscrete dualityrelevant algebrasUrquhart's lattice representation

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Recommendations

• A discrete representation of lattice frames
• St. Alasdair on Lattices Everywhere
• Duality via Truth: Semantic frameworks for lattice-based logics
• Dualities for structures of applied logics
• A duality for two-sorted lattices

Cites work

• 1982 news about orthomodular lattices
• A discrete duality between apartness algebras and apartness frames
• A discrete representation of lattice frames
• A topological representation of lattices
• A topological representation theory for lattices
• An algebraic approach to preference relations
• Boolean Algebras with Operators. Part I
• Completions of GBL-algebras: negative results
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• Discrete duality for lattices with modal operators
• Dualities for structures of applied logics
• Duality for algebras of relevant logics
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 1735914 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Kripke models for linear logic
• Metamathematics of modal logic
• Modal definability in enriched languages
• Orthomodularity is not elementary
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Relational Representation Theorems for General Lattices with Negations
• Relevant implication and ordered geometry
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semantic analysis of orthologic
• The Birkhoff-von Neumann concept of quantum logic
• The equationally-defined commutator. A study in equational logic and algebra
• The Stone Space of an Ortholattice
• Theory and Applications of Relational Structures as Knowledge Instruments
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(4)

• A discrete representation of lattice frames
• St. Alasdair on Lattices Everywhere
• Discrete dualities for groupoids
• Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

This page was built for publication: Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

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