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
Liste complète des métadonnées

https://hal.inria.fr/inria-00100712
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:49:54 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00100712, version 1

Collections

Citation

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

Share

Metrics

Record views

95