|
|||||
|
|
New sequent calculi for Visser's Formal Propositional Logic |
|
| Authors: | Katsumasa Ishii |
| 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. |
| Keywords: | Formal Propositional Logic sequent calculus cut‐elimination theorem interpolation theorem |