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 条

[21] A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Hill, B.
Poggiolesi, F.
STUDIA LOGICA, 2010, 94 (01) : 47 - 72
[22] A tree-sequent calculus for a natural predicate extension of Visser's propositional logic
Ishigaki, Ryo
Kikuchi, Kentaro
LOGIC JOURNAL OF THE IGPL, 2007, 15 (02) : 149 - 164
[23] On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Lund, Simon Tobias
Villadsen, Jorgen
VIETNAM JOURNAL OF COMPUTER SCIENCE, 2024, 11 (04) : 621 - 644
[24] Propositional Linear Temporal Logic with Initial Validity Semantics
Giero, Mariusz
FORMALIZED MATHEMATICS, 2015, 23 (04): : 379 - 386
[25] Theory of probability semantics of classical propositional logic and its application
Zhang, Jia-Lu
Chen, Xue-Gang
Zhao, Xiao-Dong
Jisuanji Xuebao/Chinese Journal of Computers, 2014, 37 (08): : 1775 - 1785
[26] Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 237 - 252
[27] A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
Rummer, Philipp
Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2008, 5330 : 274 - 289
[28] A SEQUENT CALCULUS FOR A 1ST-ORDER LINEAR TEMPORAL LOGIC WITH EQUALITY
SAKALAUSKAITE, J
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 430 - 440
[29] A COMPARISON BETWEEN LAMBEK SYNTACTIC CALCULUS AND INTUITIONISTIC LINEAR PROPOSITIONAL LOGIC
ABRUSCI, VM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (01): : 11 - 15
[30] Phase semantics for light linear logic
Kanovich, MI
Okada, M
Scedrov, A
THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 525 - 549

← 1 2 3 4 →