Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
From MaRDI portal
Publication:5027243
DOI10.1007/978-3-030-71430-7_13OpenAlexW3203016350MaRDI QIDQ5027243
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
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 1982 news about orthomodular lattices
- Modal definability in enriched languages
- Completions of GBL-algebras: negative results
- A topological representation of lattices
- A topological representation theory for lattices
- Semantic analysis of orthologic
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
- Handbook of philosophical logic. Vol. 6
- Duality for algebras of relevant logics
- A discrete representation of lattice frames
- An Algebraic Approach to Preference Relations
- Discrete duality for lattices with modal operators
- Kripke models for linear logic
- A discrete duality between apartness algebras and apartness frames
- Orthomodularity is not elementary
- The Stone Space of an Ortholattice
- Metamathematics of modal logic
- Relevant Implication and Ordered Geometry
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- The Equationally-Defined Commutator
- Relational Representation Theorems for General Lattices with Negations
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Topological representations of distributive lattices and Brouwerian logics
- Boolean Algebras with Operators. Part I
- Theory and Applications of Relational Structures as Knowledge Instruments
This page was built for publication: Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
