PHASE SEMANTICS AND SEQUENT CALCULUS FOR PURE NONCOMMUTATIVE CLASSICAL LINEAR PROPOSITIONAL LOGIC

被引：54

|

作者：

ABRUSCI, VM

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1991年 / 56卷 / 04期

关键词：

D O I：

10.2307/2275485

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1403 / 1451

页数：49

相关论文

共 40 条

[1] Phase Semantics for a Pure Noncommutative Linear Propositional Logic
应明生
JournalofComputerScienceandTechnology, 1999, (02) : 135 - 139
[2] Phase semantics for a pure noncommutative linear propositional logic
Mingsheng Ying
Journal of Computer Science and Technology, 1999, 14 (2) : 135 - 139
[3] Phase semantics for a pure noncommutative linear propositional logic
Ying, Mingsheng
Journal of Computer Science and Technology, 1999, 14 (02): : 135 - 139
[4] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2014, 102 (03) : 479 - 497
[5] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2014, 102 : 479 - 497
[6] A sequent calculus for propositional dynamic logic for agents
Sakalauskaitė J.
Lithuanian Mathematical Journal, 2004, 44 (3) : 244 - 250
[7] A coding method for a sequent calculus of propositional logic
R. Alonderis
Lithuanian Mathematical Journal, 2008, 48 : 123 - 136
[8] A coding method for a sequent calculus of propositional logic
Alonderis, R.
LITHUANIAN MATHEMATICAL JOURNAL, 2008, 48 (02) : 123 - 136
[9] Sequent calculus for classical logic probabilized
Boricic, Marija
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 119 - 136
[10] A sequent calculus for propositional dynamic logic for agents with interactions
Sakalauskaite J.
Lithuanian Mathematical Journal, 2005, 45 (2) : 217 - 224

← 1 2 3 4 →