[Zurück]


Buchbeiträge:

R. Kuznets:
"Craig Interpolation via Hypersequents";
in: "Concepts of Proof in Mathematics, Philosophy, and Computer Science", Ontos Mathematical Logic 6; D. Probst, P. Schuster (Hrg.); Walter de Gruyter GmbH, Berlin/Boston, 2016, ISBN: 978-1-5015-1080-9, S. 193 - 214.



Kurzfassung englisch:
In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and ap- ply the method to prove the CIP for the modal logic S5.

Schlagworte:
Craig interpolation, Hypersequent, Structural proof theory, Modal logic


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1515/9781501502620-012

Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_258106.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.