Classical Non Associative Lambek Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Studia Logica Year : 2002

Classical Non Associative Lambek Calculus

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.

Dates and versions

inria-00100712 , version 1 (26-09-2006)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More