Classical non-associative Lambek calculus
From MaRDI portal
Publication:1850952
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)
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
