Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation

In [7] and [8], Iemhoff introduced a connection between the existence of a terminating sequent calculi of a certain kind and the uniform interpolation property of the super-intuitionistic logic that the calculus captures. In this paper, we will generalize this relationship to also cover the substruc...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Tabatabai, Amirhossein Akbar, Jalali, Raheleh
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!