St. Alasdair on Lattices Everywhere

DOI10.1007/978-3-030-71430-7_12OpenAlexW3203680988MaRDI QIDQ5027242

Katalin Bimbó, J. Michael Dunn

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_12

zbMATH Keywords

latticeGalois connectionrelational semanticssemilatticetopological frame

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Topological duality for orthomodular lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Negation in the context of gaggle theory
• Tensorial decomposition of concept lattices
• A topological representation of lattices
• A topological representation theory for lattices
• Stone duality for lattices
• Semantic analysis of orthologic
• Four-valued logic
• A discrete representation of lattice frames
• Functorial duality for ortholattices and De Morgan lattices
• The logic of quantum mechanics
• Semantics for structurally free logics LC+
• Discrete duality for lattices with modal operators
• Kripke models for linear logic
• The representation of lattices by modules
• The undecidability of entailment and relevant implication
• The Stone Space of an Ortholattice
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Continuous Lattices and Domains
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Completeness of weak implication
• Semantics for relevant logics
• Duality via Truth: Semantic frameworks for lattice-based logics
• Representations of Lattices by Sets
• On the representation of lattices
• Galois Connexions
• Closure Operators and Galois Theory in Lattices
• Lattices, equivalence relations, and subgroups
• Bounded lattice expansions

This page was built for publication: St. Alasdair on Lattices Everywhere