✦ LIBER ✦
New sequent calculi for Visser's Formal Propositional Logic
✍ Scribed by Katsumasa Ishii
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 128 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
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.