St. Alasdair on Lattices Everywhere
From MaRDI portal
Publication:5027242
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
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)
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