论文信息 - Classical Lambek Logic - 字舞流文

Classical Lambek Logic

We discuss different options for two-sided sequent systems of noncommutative linear logic and prove a restricted form of cut elimination.

Jörg Hudelmaier | Peter Schroeder-Heister

[1] V. Michele Abrusci. Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic , 1991, J. Symb. Log..

[2] J. Girard. Proof Theory and Logical Complexity , 1989 .

[3] J. Lambek. The Mathematics of Sentence Structure , 1958 .

[4] M. E. Szabo,et al. The collected papers of Gerhard Gentzen , 1969 .

[5] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .

[6] H. Wansing. Substructural logics , 1996 .

[7] Joachim Lambek,et al. Cut Elimination for Classical Bilinear Logic , 1995, Fundam. Informaticae.