Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/29343
-
Title: 
Craig Interpolation via Hypersequents
-
Citation: 
Kuznets, R. (2016). Craig Interpolation via Hypersequents. In D. Probst & P. Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 193–214). Walter de Gruyter GmbH. https://doi.org/10.1515/9781501502620-012
-
Publisher DOI: 
10.1515/9781501502620-012
-
Publication Type: 
Book Contribution - Edited Volume Contribution
en
Authors: 
Kuznets, Roman 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Concepts of Proof in Mathematics, Philosophy, and Computer Science 
-
Date (published): 
2016
-
Number of Pages: 
22
-
Peer reviewed: 
Yes
-
Keywords: 
Craig interpolation; Hypersequent; Structural proof theory; Modal logic
-
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.
en
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Book Contribution

Show full item record

Page view(s)

185
checked on Nov 23, 2023

Google ScholarTM

Check