Articles
The paper analyzes the correspondence existing between the Syntactic Calculus (Lambek 1958) and (multiplicative) non-commutative linear logic (Abrusci 1991), both in its intuitionistic and classical formulation. Particular attention is paid to the fragment of classical non-commutative linear logic (...
