A geometrical representation of the basic laws of categorial grammar
From MaRDI portal
Publication:2363501
DOI10.1007/s11225-016-9698-4zbMath1417.03163OpenAlexW2569738941MaRDI QIDQ2363501
Claudia Casadio, V. Michele Abrusci
Publication date: 19 July 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-016-9698-4
Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic and grammar
- Continuation semantics for the Lambek-Grishin calculus
- Classical conservative extensions of Lambek calculus
- A tale of four grammars
- Non-commutative logic. I: The multiplicative fragment
- Type logics and pregroups
- The Mathematics of Sentence Structure
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- On Residuation
- A Categorial Type Logic