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 条

[31] Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
Kamide, Norihiro
STUDIA LOGICA, 2023, 111 (06) : 979 - 1014
[32] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
Norihiro Kamide
Logica Universalis, 2022, 16 : 389 - 417
[33] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
Kamide, Norihiro
LOGICA UNIVERSALIS, 2022, 16 (03) : 389 - 417
[34] A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
Pliuskevicius, Regimantas
Pliuskeviciene, Aida
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 353 - 379

← 1 2 3 4 →