Definable operators on stable set lattices

DOI10.1007/s11225-020-09896-0zbMath1484.03131arXiv1812.01264OpenAlexW3101665284MaRDI QIDQ2027212

Robert Goldblatt

Publication date: 25 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.01264

zbMATH Keywords

dualitystable setMacNeille completioncompletionvarietyoperatorultraproductpolaritycanonical extensionlattice expansionfirst-order definable

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational semantics for full linear logic
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Canonical extensions and ultraproducts of polarities
• Algorithmic correspondence and canonicity for non-distributive logics
• MacNeille completions of lattice expansions
• Varieties of complex algebras
• Categories: How I Learned to Stop Worrying and Love Two Sorts
• Generalized Kripke semantics for the Lambek-Grishin calculus
• MacNeille completions and canonical extensions
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions