St. Alasdair on Lattices Everywhere

DOI10.1007/978-3-030-71430-7_12MaRDI QIDQ5027242zbMATH OpenOpenAlexFDO

Authors 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

Galois connectionlatticerelational semanticssemilatticetopological frame

Mathematics Subject Classification ID

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

Recommendations

• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Topological representations of pseudocomplemented lattices.
• Ockham Algebras—An Urquhart Legacy
• scientific article; zbMATH DE number 1332359
• Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Cites work

• A discrete representation of lattice frames
• A topological representation of lattices
• A topological representation theory for lattices
• Algebraic methods in philosophical logic
• Bounded lattice expansions
• Closure Operators and Galois Theory in Lattices
• Completeness of weak implication
• Continuous Lattices and Domains
• Discrete duality for lattices with modal operators
• Duality via Truth: Semantic frameworks for lattice-based logics
• Four-valued logic
• Functorial duality for ortholattices and De Morgan lattices
• Galois Connexions
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• scientific article; zbMATH DE number 3172309 (Why is no real title available?)
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3771669 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 1453805 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Kripke models for linear logic
• Lattices, equivalence relations, and subgroups
• Linear logic
• Negation in the context of gaggle theory
• On the representation of lattices
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representations of Lattices by Sets
• Semantic analysis of orthologic
• Semantics for relevant logics
• Semantics for structurally free logics LC+
• Stone duality for lattices
• Tensorial decomposition of concept lattices
• The logic of quantum mechanics
• The representation of lattices by modules
• The Stone Space of an Ortholattice
• The undecidability of entailment and relevant implication

Cited in

(3)

• Robinson lattices and their spectra
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Topological duality for orthomodular lattices

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

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