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
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:49:54 PM
Last modification on : Friday, February 26, 2021 - 3:28:02 PM


  • HAL Id : inria-00100712, version 1



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



Record views