Interpolation for intermediate logics via injective nested sequents

Abstract We introduce a novel, semantically inspired method of constructing nested sequent calculi for propositional intermediate logics. Applying recently developed methods for proving Craig interpolation to these nested sequent calculi, we obtain constructive proofs of the interpolation property f...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2021-04, Vol.31 (3), p.797-831
Hauptverfasser:	Kuznets, Roman, Lellmann, Björn
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!