Beth Definability in the Logic KR

DOI10.1007/978-3-030-71430-7_5zbMath1487.03041arXiv2006.00642OpenAlexW3032865349MaRDI QIDQ5027235

Jacob Garber

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

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

zbMATH Keywords

relation algebrarelevant logicepimorphismBeth definabilityBoolean monoid

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding modular lattices into relation algebras
• Cylindric algebras. Part II
• Handbook of philosophical logic. Vol. 6
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• The Variety of Modular Lattices is Not Generated by its Finite Members
• Advanced Topics in Relation Algebras
• Introduction to Relation Algebras
• Duality Theories for Boolean Algebras with Operators

This page was built for publication: Beth Definability in the Logic KR