On Residuation

DOI10.1007/978-3-642-54789-8_2zbMath1285.03012OpenAlexW4233592359MaRDI QIDQ5414955

V. Michele Abrusci

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54789-8_2

zbMATH Keywords

Lambek calculuslinear logicproof-netcyclicitycategorial grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Structure of proofs (03F07) 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)

Related Items (1)

A geometrical representation of the basic laws of categorial grammar

Cites Work

• Unnamed Item
• Unnamed Item
• Logic and grammar
• Continuation semantics for the Lambek-Grishin calculus
• Handsome proof-nets: Perfect matchings and cographs
• Classical conservative extensions of Lambek calculus
• A tale of four grammars
• Non-commutative logic. I: The multiplicative fragment
• Type logics and pregroups
• Interpolation and FEP for logics of residuated algebras
• The Mathematics of Sentence Structure
• Nonassociative Lambek Calculus with Additives and Context-Free Languages

This page was built for publication: On Residuation