Classical conservative extensions of Lambek calculus (Q1850949)

The paper concerns the Lambek Calculus (LC) and its extensions. The pure Lambek Calculus, which is LC without additive constants, is also distinguished. Two systems are considered: Noncommutative Multiplicative-Additive Linear Logic (NMALL), introduced by the author (in 1991), and Cyclic Multiplicative-Additive Linear Logic (CyMALL), introduced by Yetter (in 1990). The author presents the languages and sequent calculi of LC, CyMALL and NMALL. Syntactical relationships between these systems are investigated and described. Two main theorems of the paper are the following ones: 1. Both CyMALL and NMALL are extensions of LC (but these systems are not conservative extensions of LC). 2. Both CyMALL and NMALL are conservative extensions of pure LC. The proofs of these results are based on interesting properties of the provability in CyMALL and NMALL.