Classical conservative extensions of Lambek calculus

DOI10.1023/A:1020560613199zbMath1019.03018OpenAlexW1566899626MaRDI QIDQ1850949

V. Michele Abrusci

Publication date: 15 December 2002

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

Full work available at URL: https://doi.org/10.1023/a:1020560613199

zbMATH Keywords

Lambek calculuslinear logic

Mathematics Subject Classification ID

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 (11)

A geometrical representation of the basic laws of categorial grammar ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ On Classical Nonassociative Lambek Calculus ⋮ Categorial Grammars and Their Logics ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ On Residuation ⋮ Italian Clitic Patterns in Pregroup Grammar: State of the Art ⋮ Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Extensions of Lambek Calculi

This page was built for publication: Classical conservative extensions of Lambek calculus