Contributions to Books:
R. Kuznets:
"Craig Interpolation via Hypersequents";
in: "Concepts of Proof in Mathematics, Philosophy, and Computer Science",
Ontos Mathematical Logic 6;
D. Probst, P. Schuster (ed.);
Walter de Gruyter GmbH,
Berlin/Boston,
2016,
ISBN: 978-1-5015-1080-9,
193
- 214.
English abstract:
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.
Keywords:
Craig interpolation, Hypersequent, Structural proof theory, Modal logic
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1515/9781501502620-012
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_258106.pdf
Created from the Publication Database of the Vienna University of Technology.