Repository | Book | Chapter
(2015) From logic to practice, Dordrecht, Springer.
A cut-like inference in a framework of explicit composition for various calculi of natural deduction
Michael Arndt , Laura Tesconi
pp. 163-183
An explicit concatenation rule (EC) is proposed, obtained by generalizations and formalization of one of the most intuitive principle of abstract reasoning, which governs the composition of abstract derivations from the left and from the right at the same time, via the mediation of control clauses that occur in the position of the major premise. The sets of control clauses necessary to express various different calculi of natural deduction—standard natural deduction, natural deduction with general elimination rules, "bioriented" natural deduction and their variants—are considered, with a specific focus on a control clause for co-identity, a cut-like inference expressing the principle of linear substitution and on the effect of its addition to these calculi.
Publication details
DOI: 10.1007/978-3-319-10434-8_9
Full citation:
Arndt, M. , Tesconi, L. (2015)., A cut-like inference in a framework of explicit composition for various calculi of natural deduction, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 163-183.
This document is unfortunately not available for download at the moment.