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 条
12345