Symmetric generalized Galois logics

DOI10.1007/s11787-009-0004-3zbMath1255.03033OpenAlexW2162459505MaRDI QIDQ1931307

Katalin Bimbó, J. Michael Dunn

Publication date: 25 January 2013

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

Full work available at URL: https://doi.org/10.1007/s11787-009-0004-3

zbMATH Keywords

topological representationcut rulecategorial grammarsRoutley-Meyer semanticsgaggle theoryfunctorial duality

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other model constructions (03C30)

Related Items

Current trends in substructural logics ⋮ Symmetric categorial grammar ⋮ Interpretations of Weak Positive Modal Logics

Cites Work

• Dual gaggle semantics for entailment
• Semantics for structurally free logics LC+
• Kripke models for linear logic
• The Mathematics of Sentence Structure
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• Combinators and structurally free logic
• Two extensions of the structurally free logic LC
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item