Skip to Main content Skip to Navigation
Journal articles

Classical Non Associative Lambek Calculus

Philippe de Groote 1 François Lamarche 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00100712
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:49:54 PM
Last modification on : Friday, February 4, 2022 - 3:16:36 AM

Links full text

Identifiers

Collections

Citation

Philippe de Groote, François Lamarche. Classical Non Associative Lambek Calculus. Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩. ⟨inria-00100712⟩

Share

Metrics

Record views

59