Files in this item
Analyticity, balance and non-admissibility of Cut in Stoic Logic
Item metadata
dc.contributor.author | Bobzien, Susanne | |
dc.contributor.author | Dyckhoff, Roy | |
dc.date.accessioned | 2018-05-01T12:30:06Z | |
dc.date.available | 2018-05-01T12:30:06Z | |
dc.date.issued | 2019-04 | |
dc.identifier.citation | Bobzien , S & Dyckhoff , R 2019 , ' Analyticity, balance and non-admissibility of Cut in Stoic Logic ' , Studia Logica , vol. 107 , no. 2 , pp. 375–397 . https://doi.org/10.1007/s11225-018-9797-5 | en |
dc.identifier.issn | 0039-3215 | |
dc.identifier.other | PURE: 252715248 | |
dc.identifier.other | PURE UUID: 11389149-68f9-4c91-bbc4-b24a1ad6a8e3 | |
dc.identifier.other | Scopus: 85045728427 | |
dc.identifier.other | WOS: 000461367400005 | |
dc.identifier.uri | https://hdl.handle.net/10023/13269 | |
dc.description.abstract | This paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut formula occurs as a subformula in the cut’s conclusion. Since the Stoic cut rules are instances of Gentzen’s Cut rule of 1933, from this we infer the decidability of the propositional logic of the Stoics. We infer the correctness for this logic of a “relevance criterion” and of two “balance criteria”, and hence (in contrast to one of Gentzen’s 1933 results) that a particular derivable sequent has no derivation that is “normal” in the sense that the first premiss of each cut is cut-free. We also infer that Cut is not admissible in the Stoic system, based on the standard Stoic axioms, the T1 rule and the instances of Cut with just two antecedent formulae in the first premiss. | |
dc.format.extent | 23 | |
dc.language.iso | eng | |
dc.relation.ispartof | Studia Logica | en |
dc.rights | Copyright The Author(s) 2018. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. | en |
dc.subject | Sequent | en |
dc.subject | Analyticity | en |
dc.subject | Stoic logic | en |
dc.subject | Proof theory | en |
dc.subject | Decidability | en |
dc.subject | Relevance | en |
dc.subject | Balance | en |
dc.subject | Cut-admissibility | en |
dc.subject | BC Logic | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | T-NDAS | en |
dc.subject.lcc | BC | en |
dc.subject.lcc | QA75 | en |
dc.title | Analyticity, balance and non-admissibility of Cut in Stoic Logic | en |
dc.type | Journal article | en |
dc.description.version | Publisher PDF | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | https://doi.org/10.1007/s11225-018-9797-5 | |
dc.description.status | Peer reviewed | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.