Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800789526> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2800789526 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." @default.
- W2800789526 created "2018-05-17" @default.
- W2800789526 creator A5064769604 @default.
- W2800789526 creator A5074814336 @default.
- W2800789526 date "2018-04-20" @default.
- W2800789526 modified "2023-09-24" @default.
- W2800789526 title "Analyticity, Balance and Non-admissibility of $$varvec{Cut}$$ Cut in Stoic Logic" @default.
- W2800789526 cites W1981773876 @default.
- W2800789526 cites W1997422462 @default.
- W2800789526 cites W2047975379 @default.
- W2800789526 cites W2131739376 @default.
- W2800789526 cites W2284671171 @default.
- W2800789526 cites W4238292764 @default.
- W2800789526 cites W4248815907 @default.
- W2800789526 doi "https://doi.org/10.1007/s11225-018-9797-5" @default.
- W2800789526 hasPublicationYear "2018" @default.
- W2800789526 type Work @default.
- W2800789526 sameAs 2800789526 @default.
- W2800789526 citedByCount "3" @default.
- W2800789526 countsByYear W28007895262019 @default.
- W2800789526 countsByYear W28007895262022 @default.
- W2800789526 crossrefType "journal-article" @default.
- W2800789526 hasAuthorship W2800789526A5064769604 @default.
- W2800789526 hasAuthorship W2800789526A5074814336 @default.
- W2800789526 hasBestOaLocation W28007895261 @default.
- W2800789526 hasConcept C108710211 @default.
- W2800789526 hasConcept C11413529 @default.
- W2800789526 hasConcept C118615104 @default.
- W2800789526 hasConcept C121332964 @default.
- W2800789526 hasConcept C138496976 @default.
- W2800789526 hasConcept C153269930 @default.
- W2800789526 hasConcept C15744967 @default.
- W2800789526 hasConcept C163258240 @default.
- W2800789526 hasConcept C167729594 @default.
- W2800789526 hasConcept C168031717 @default.
- W2800789526 hasConcept C199343813 @default.
- W2800789526 hasConcept C2524010 @default.
- W2800789526 hasConcept C2777686260 @default.
- W2800789526 hasConcept C2778462145 @default.
- W2800789526 hasConcept C2781256819 @default.
- W2800789526 hasConcept C33923547 @default.
- W2800789526 hasConcept C55439883 @default.
- W2800789526 hasConcept C62520636 @default.
- W2800789526 hasConcept C65880906 @default.
- W2800789526 hasConcept C71924100 @default.
- W2800789526 hasConcept C89421646 @default.
- W2800789526 hasConcept C99508421 @default.
- W2800789526 hasConceptScore W2800789526C108710211 @default.
- W2800789526 hasConceptScore W2800789526C11413529 @default.
- W2800789526 hasConceptScore W2800789526C118615104 @default.
- W2800789526 hasConceptScore W2800789526C121332964 @default.
- W2800789526 hasConceptScore W2800789526C138496976 @default.
- W2800789526 hasConceptScore W2800789526C153269930 @default.
- W2800789526 hasConceptScore W2800789526C15744967 @default.
- W2800789526 hasConceptScore W2800789526C163258240 @default.
- W2800789526 hasConceptScore W2800789526C167729594 @default.
- W2800789526 hasConceptScore W2800789526C168031717 @default.
- W2800789526 hasConceptScore W2800789526C199343813 @default.
- W2800789526 hasConceptScore W2800789526C2524010 @default.
- W2800789526 hasConceptScore W2800789526C2777686260 @default.
- W2800789526 hasConceptScore W2800789526C2778462145 @default.
- W2800789526 hasConceptScore W2800789526C2781256819 @default.
- W2800789526 hasConceptScore W2800789526C33923547 @default.
- W2800789526 hasConceptScore W2800789526C55439883 @default.
- W2800789526 hasConceptScore W2800789526C62520636 @default.
- W2800789526 hasConceptScore W2800789526C65880906 @default.
- W2800789526 hasConceptScore W2800789526C71924100 @default.
- W2800789526 hasConceptScore W2800789526C89421646 @default.
- W2800789526 hasConceptScore W2800789526C99508421 @default.
- W2800789526 hasFunder F4320320278 @default.
- W2800789526 hasLocation W28007895261 @default.
- W2800789526 hasLocation W28007895262 @default.
- W2800789526 hasOpenAccess W2800789526 @default.
- W2800789526 hasPrimaryLocation W28007895261 @default.
- W2800789526 hasRelatedWork W145842648 @default.
- W2800789526 hasRelatedWork W1505349735 @default.
- W2800789526 hasRelatedWork W1544231002 @default.
- W2800789526 hasRelatedWork W1582926964 @default.
- W2800789526 hasRelatedWork W168043144 @default.
- W2800789526 hasRelatedWork W1927935113 @default.
- W2800789526 hasRelatedWork W2017475988 @default.
- W2800789526 hasRelatedWork W2040259072 @default.
- W2800789526 hasRelatedWork W2061774562 @default.
- W2800789526 hasRelatedWork W2071289523 @default.
- W2800789526 hasRelatedWork W2081512322 @default.
- W2800789526 hasRelatedWork W2128403889 @default.
- W2800789526 hasRelatedWork W2134929682 @default.
- W2800789526 hasRelatedWork W2139422879 @default.
- W2800789526 hasRelatedWork W2139662854 @default.
- W2800789526 hasRelatedWork W2327683250 @default.
- W2800789526 hasRelatedWork W2345331818 @default.
- W2800789526 hasRelatedWork W2888205906 @default.
- W2800789526 hasRelatedWork W3118507965 @default.
- W2800789526 hasRelatedWork W2037561608 @default.
- W2800789526 isParatext "false" @default.
- W2800789526 isRetracted "false" @default.
- W2800789526 magId "2800789526" @default.
- W2800789526 workType "article" @default.