New sequent calculi for Visser's Formal Propositional Logic

New sequent calculi for Visser's Formal Propositional Logic

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 Vi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2003-09, Vol.49 (5), p.525-535
1. Verfasser: Ishii, Katsumasa
Format: Artikel
Sprache:eng
Schlagworte:
cut-elimination theorem
Formal Propositional Logic
interpolation theorem
sequent calculus
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.200310056