@inproceedings{ae7be01642d34f4cb774fe6ebcc5b99f,
title = "Cut-admissibility as a corollary of the subformula property",
abstract = "We identify two wide families of propositional sequent calculi for which cut-admissibility is a corollary of the subformula property. While the subformula property is often a simple consequence of cut-admissibility, our results shed light on the converse direction, and may be used to simplify cut-admissibility proofs in various propositional sequent calculi. In particular, the results of this paper may be used in conjunction with existing methods that establish the subformula property, to obtain that cut-admissibility holds as well.",
author = "Ori Lahav and Yoni Zohar",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017 ; Conference date: 25-09-2017 Through 28-09-2017",
year = "2017",
doi = "https://doi.org/10.1007/978-3-319-66902-1_4",
language = "الإنجليزيّة",
isbn = "9783319669014",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "65--80",
editor = "Claudia Nalon and Schmidt, {Renate A.}",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Proceedings",
}