Phase semantics for a pure noncommutative linear propositional logic

被引：0
作者：
Mingsheng Ying
机构：
[1] Tsinghua University,Department of Computer Science and Technology
来源：
Journal of Computer Science and Technology | 1999年 / 14卷 / 2期
关键词：
linear logic; phase semantics; noncommutativity;
D O I：
10.1007/BF02946519
中图分类号：
学科分类号：
摘要：
We use a many-sorted language to remove commutativity from phase semantics of linear logic and show that pure noncommutative intuitionistic linear propositional logic plus two classical rules enjoys the soundness and completeness with respect to completely noncommutative phase semantics.
引用
收藏
页码：135 / 139
页数：4
相关论文
共 5 条
[1]  
Girard J-Y(1987)Linear logic Theoretic Computer Sci. 50 1-102
[2]  
Yetter D N(1990)Quantales and (noncommutative) linear logic J. Symbolic Logic 55 41-64
[3]  
Abrusci V M(1991)Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic J. Symbolic Logic 56 1403-1451
[4]  
Abrusci V M(1990)Noncommutative intuitionistic linear propositional logic Zeitsch. f. Math. Logik und Grundlagen d. Math. 36 297-318
[5]  
Abrusci V M(1990)A comparison between Lambek syntactic calculus and intuitionistic linear logic Zeitsch. f. Math. Logik und Grundlagen d. Math. 36 11-15
1