Classical non-associative Lambek calculus

DOI10.1023/A:1020520915016zbMath1032.03014MaRDI QIDQ1850952

Philippe de Groote, François Lamarche

Publication date: 15 December 2002

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

zbMATH Keywords

sequent calculuslinear logicproof-netnon-associative Lambek calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) 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 (19)

\(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures ⋮ Symmetric categorial grammar ⋮ Proof-Theoretic Aspects of the Lambek-Grishin Calculus ⋮ On involutive nonassociative Lambek calculus ⋮ On Classical Nonassociative Lambek Calculus ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ Categorial Grammars and Their Logics ⋮ Multi-Sorted Residuation ⋮ k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures ⋮ Disjunction property and complexity of substructural logics ⋮ DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS ⋮ On the complexity of nonassociative Lambek calculus with unit ⋮ Multiplicative Linear Logics and Fibrations ⋮ One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity ⋮ Extensions of Lambek Calculi ⋮ Pomset Logic ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ Extending the Lambek calculus with classical negation

This page was built for publication: Classical non-associative Lambek calculus