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

DOI10.1007/978-3-030-71430-7_13OpenAlexW3203016350MaRDI QIDQ5027243FDOQ5027243

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

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

zbMATH Keywords

discrete dualityrelevant algebrascommutator algebrasUrquhart's lattice representation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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