Symmetric generalized Galois logics
From MaRDI portal
Publication:1931307
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
topological representationcut rulecategorial grammarsRoutley-Meyer semanticsgaggle theoryfunctorial duality
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