论文信息 - Cut Elimination in Noncommutative Substructural Logics - 字舞流文

Cut Elimination in Noncommutative Substructural Logics

Bayu Surarso | Hiroakira Ono

[1] M. Bunder. Deduction theorems for weak implicational logics , 1982 .

[2] Yuichi Komori. Predicate logics without the structure rules , 1986, Stud Logica.

[3] David N. Yetter,et al. Quantales and (noncommutative) linear logic , 1990, Journal of Symbolic Logic.

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

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

[6] Heinrich Wansing,et al. The Logic of Information Structures , 1993, Lecture Notes in Computer Science.

[7] Eiji Kiriyama,et al. The contraction rule and decision problems for logics without structural rules , 1991, Stud Logica.

[8] Hiroakira Ono,et al. Logics without the contraction rule , 1985, Journal of Symbolic Logic.

[9] Hiroakira Ono,et al. Structural Rules and a Logical Hierarchy , 1990 .

[10] Kosta Dosen,et al. Sequent-systems and groupoid models. I , 1988, Stud Logica.