New sequent calculi for Visser's Formal Propositional Logic

被引：1

作者：

Ishii, K ^{[1
]}

机构：

[1] Japan Adv Inst Sci & Technol, Sch Informat Sci, Tatsunokuchi, Ishikawa 9231211, Japan

来源：

MATHEMATICAL LOGIC QUARTERLY | 2003年 / 49卷 / 05期

关键词：

Formal Propositional Logic; sequent calculus; cut-elimination theorem; interpolation theorem;

D O I：

10.1002/malq.200310056

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Two cut-free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic (FPL) are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei-Ardeshir's calculi for Visser's Basic Propositional Logic.

引用

页码：525 / 535

页数：11

共 34 条

[1] On sequent calculi for intuitionistic propositional logic
Svejdar, Vitezslav
COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2006, 47 (01): : 159 - 173
[2] INTERPOLATION PROPERTYON VISSER'S FORMAL PROPOSITIONAL LOGIC
Alizadeh, Majid
Memarzadeh, Masoud
BULLETIN OF THE SECTION OF LOGIC, 2022, 51 (03): : 297 - 316
[3] Sequent calculi for propositional star-free likelihood logic
Alonderis R.
Lithuanian Mathematical Journal, 2005, 45 (1) : 1 - 15
[4] PEIRCE'S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC
Ma, Minghui
Pietarinen, Ahti-Veikko
REVIEW OF SYMBOLIC LOGIC, 2020, 13 (03) : 509 - 540
[5] A sequent calculus for propositional dynamic logic for agents
Sakalauskaitė J.
Lithuanian Mathematical Journal, 2004, 44 (3) : 244 - 250
[6] A coding method for a sequent calculus of propositional logic
Alonderis, R.
LITHUANIAN MATHEMATICAL JOURNAL, 2008, 48 (02) : 123 - 136
[7] A coding method for a sequent calculus of propositional logic
R. Alonderis
Lithuanian Mathematical Journal, 2008, 48 : 123 - 136
[8] A Modification of Visser’s Formal Logic and Its Connection with Solovay’s Modal Logic
Ya. I. Petrukhin
Russian Mathematics, 2023, 67 : 12 - 21
[9] A Modification of Visser's Formal Logic and Its Connection with Solovay's Modal Logic
Petrukhin, Ya. I.
RUSSIAN MATHEMATICS, 2023, 67 (11) : 12 - 21
[10] Sequent calculi and decidability for intuitionistic hybrid logic
Galmiche, Didier
Salhi, Yakoub
INFORMATION AND COMPUTATION, 2011, 209 (12) : 1447 - 1463

← 1 2 3 4 →