Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008575211> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2008575211 endingPage "5445" @default.
- W2008575211 startingPage "5433" @default.
- W2008575211 abstract "Free-cut elimination allows cut elimination to be carried out in the presence of non-logical axioms. Formulas in a proof are anchored provided they originate in a non-logical axiom or non-logical inference. This paper corrects and strengthens earlier upper bounds on the size of free-cut elimination. The correction requires that the notion of a free cut be modified so that a cut formula is anchored provided that all of its introductions are anchored, instead of only requiring that one of its introductions is anchored. With the correction, the originally proved size upper bounds remain unchanged. These results also apply to partial cut elimination. We also apply these bounds to elimination of cuts in propositional logic. If the non-logical inferences are closed under cut and infer only atomic formulas, then all cuts can be eliminated. This extends earlier results of Takeuti and of Negri and von Plato." @default.
- W2008575211 created "2016-06-24" @default.
- W2008575211 creator A5067079243 @default.
- W2008575211 creator A5084524620 @default.
- W2008575211 date "2011-09-01" @default.
- W2008575211 modified "2023-10-16" @default.
- W2008575211 title "Corrected upper bounds for free-cut elimination" @default.
- W2008575211 cites W1985367925 @default.
- W2008575211 cites W2034391895 @default.
- W2008575211 cites W2040664929 @default.
- W2008575211 cites W2074448200 @default.
- W2008575211 cites W2077585224 @default.
- W2008575211 cites W2078269136 @default.
- W2008575211 cites W2090663022 @default.
- W2008575211 cites W619146373 @default.
- W2008575211 doi "https://doi.org/10.1016/j.tcs.2011.05.053" @default.
- W2008575211 hasPublicationYear "2011" @default.
- W2008575211 type Work @default.
- W2008575211 sameAs 2008575211 @default.
- W2008575211 citedByCount "8" @default.
- W2008575211 countsByYear W20085752112012 @default.
- W2008575211 countsByYear W20085752112014 @default.
- W2008575211 countsByYear W20085752112015 @default.
- W2008575211 countsByYear W20085752112016 @default.
- W2008575211 countsByYear W20085752112021 @default.
- W2008575211 crossrefType "journal-article" @default.
- W2008575211 hasAuthorship W2008575211A5067079243 @default.
- W2008575211 hasAuthorship W2008575211A5084524620 @default.
- W2008575211 hasBestOaLocation W20085752111 @default.
- W2008575211 hasConcept C11413529 @default.
- W2008575211 hasConcept C118615104 @default.
- W2008575211 hasConcept C134306372 @default.
- W2008575211 hasConcept C154945302 @default.
- W2008575211 hasConcept C167729594 @default.
- W2008575211 hasConcept C199343813 @default.
- W2008575211 hasConcept C2524010 @default.
- W2008575211 hasConcept C2776214188 @default.
- W2008575211 hasConcept C2777686260 @default.
- W2008575211 hasConcept C33923547 @default.
- W2008575211 hasConcept C41008148 @default.
- W2008575211 hasConcept C69562738 @default.
- W2008575211 hasConcept C71924100 @default.
- W2008575211 hasConcept C77553402 @default.
- W2008575211 hasConcept C94375191 @default.
- W2008575211 hasConceptScore W2008575211C11413529 @default.
- W2008575211 hasConceptScore W2008575211C118615104 @default.
- W2008575211 hasConceptScore W2008575211C134306372 @default.
- W2008575211 hasConceptScore W2008575211C154945302 @default.
- W2008575211 hasConceptScore W2008575211C167729594 @default.
- W2008575211 hasConceptScore W2008575211C199343813 @default.
- W2008575211 hasConceptScore W2008575211C2524010 @default.
- W2008575211 hasConceptScore W2008575211C2776214188 @default.
- W2008575211 hasConceptScore W2008575211C2777686260 @default.
- W2008575211 hasConceptScore W2008575211C33923547 @default.
- W2008575211 hasConceptScore W2008575211C41008148 @default.
- W2008575211 hasConceptScore W2008575211C69562738 @default.
- W2008575211 hasConceptScore W2008575211C71924100 @default.
- W2008575211 hasConceptScore W2008575211C77553402 @default.
- W2008575211 hasConceptScore W2008575211C94375191 @default.
- W2008575211 hasIssue "39" @default.
- W2008575211 hasLocation W20085752111 @default.
- W2008575211 hasLocation W20085752112 @default.
- W2008575211 hasOpenAccess W2008575211 @default.
- W2008575211 hasPrimaryLocation W20085752111 @default.
- W2008575211 hasRelatedWork W1509077612 @default.
- W2008575211 hasRelatedWork W1537480708 @default.
- W2008575211 hasRelatedWork W15705098 @default.
- W2008575211 hasRelatedWork W1584425723 @default.
- W2008575211 hasRelatedWork W2060658593 @default.
- W2008575211 hasRelatedWork W2062296014 @default.
- W2008575211 hasRelatedWork W2091355188 @default.
- W2008575211 hasRelatedWork W4237200568 @default.
- W2008575211 hasRelatedWork W759853006 @default.
- W2008575211 hasRelatedWork W1541943413 @default.
- W2008575211 hasVolume "412" @default.
- W2008575211 isParatext "false" @default.
- W2008575211 isRetracted "false" @default.
- W2008575211 magId "2008575211" @default.
- W2008575211 workType "article" @default.