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
相关论文
共 50 条
  • [21] Loop-Type Sequent Calculi for Temporal Logic
    Alonderis, R.
    Pliuskevicius, R.
    Pliuskeviciene, A.
    Giedra, H.
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (08) : 1663 - 1684
  • [22] Sequent calculi for intuitionistic linear logic with strong negation
    Kamide, N
    LOGIC JOURNAL OF THE IGPL, 2002, 10 (06) : 653 - 678
  • [23] Loop-Type Sequent Calculi for Temporal Logic
    R. Alonderis
    R. Pliuškevičius
    A. Pliuškevičienė
    H. Giedra
    Journal of Automated Reasoning, 2020, 64 : 1663 - 1684
  • [24] Sequent Calculi for Intuitionistic Godel-Lob Logic
    van der Giessen, Iris
    Iemhoff, Rosalie
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (02) : 221 - 246
  • [25] Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics
    Matteo Tesi
    Studia Logica, 2021, 109 : 725 - 757
  • [26] Sequent Calculi for Multi-modal Logic with Interaction
    Gratzl, Norbert
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 124 - 134
  • [27] CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC
    DYCKHOFF, R
    JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 795 - 807
  • [28] A formal system for propositional extended IF logic
    Xu, Wen-Yan
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (09): : 2278 - 2285
  • [29] Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics
    Tesi, Matteo
    STUDIA LOGICA, 2021, 109 (04) : 725 - 757
  • [30] Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
    Dawson, Jeremy E.
    Gore, Rajeev
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 263 - 277
12345