Matches in SemOpenAlex for { <https://semopenalex.org/work/W4362395667> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4362395667 abstract "Geometric theories based on classical logic are conservative over their intuitionistic counterparts for geometric implications. The latter result (sometimes referred to as Barr's theorem) is squarely a consequence of Gentzen's Hauptsatz. Prima facie though, cut elimination can result in superexponentially longer proofs. In this paper it is shown that the transformation of a classical proof of a geometric implication in a geometric theory into an intuitionistic proof can be achieved in feasibly many steps." @default.
- W4362395667 created "2023-04-05" @default.
- W4362395667 creator A5011325191 @default.
- W4362395667 date "2021-05-10" @default.
- W4362395667 modified "2023-09-30" @default.
- W4362395667 title "No speedup for geometric theories" @default.
- W4362395667 doi "https://doi.org/10.48550/arxiv.2105.04661" @default.
- W4362395667 hasPublicationYear "2021" @default.
- W4362395667 type Work @default.
- W4362395667 citedByCount "0" @default.
- W4362395667 crossrefType "posted-content" @default.
- W4362395667 hasAuthorship W4362395667A5011325191 @default.
- W4362395667 hasBestOaLocation W43623956671 @default.
- W4362395667 hasConcept C104317684 @default.
- W4362395667 hasConcept C108710211 @default.
- W4362395667 hasConcept C111472728 @default.
- W4362395667 hasConcept C111919701 @default.
- W4362395667 hasConcept C115961682 @default.
- W4362395667 hasConcept C121332964 @default.
- W4362395667 hasConcept C136119220 @default.
- W4362395667 hasConcept C138885662 @default.
- W4362395667 hasConcept C154945302 @default.
- W4362395667 hasConcept C159717818 @default.
- W4362395667 hasConcept C185592680 @default.
- W4362395667 hasConcept C199343813 @default.
- W4362395667 hasConcept C202444582 @default.
- W4362395667 hasConcept C204241405 @default.
- W4362395667 hasConcept C2318724 @default.
- W4362395667 hasConcept C2524010 @default.
- W4362395667 hasConcept C2777686260 @default.
- W4362395667 hasConcept C33332235 @default.
- W4362395667 hasConcept C33923547 @default.
- W4362395667 hasConcept C41008148 @default.
- W4362395667 hasConcept C55493867 @default.
- W4362395667 hasConcept C56435381 @default.
- W4362395667 hasConcept C68339613 @default.
- W4362395667 hasConcept C71924100 @default.
- W4362395667 hasConceptScore W4362395667C104317684 @default.
- W4362395667 hasConceptScore W4362395667C108710211 @default.
- W4362395667 hasConceptScore W4362395667C111472728 @default.
- W4362395667 hasConceptScore W4362395667C111919701 @default.
- W4362395667 hasConceptScore W4362395667C115961682 @default.
- W4362395667 hasConceptScore W4362395667C121332964 @default.
- W4362395667 hasConceptScore W4362395667C136119220 @default.
- W4362395667 hasConceptScore W4362395667C138885662 @default.
- W4362395667 hasConceptScore W4362395667C154945302 @default.
- W4362395667 hasConceptScore W4362395667C159717818 @default.
- W4362395667 hasConceptScore W4362395667C185592680 @default.
- W4362395667 hasConceptScore W4362395667C199343813 @default.
- W4362395667 hasConceptScore W4362395667C202444582 @default.
- W4362395667 hasConceptScore W4362395667C204241405 @default.
- W4362395667 hasConceptScore W4362395667C2318724 @default.
- W4362395667 hasConceptScore W4362395667C2524010 @default.
- W4362395667 hasConceptScore W4362395667C2777686260 @default.
- W4362395667 hasConceptScore W4362395667C33332235 @default.
- W4362395667 hasConceptScore W4362395667C33923547 @default.
- W4362395667 hasConceptScore W4362395667C41008148 @default.
- W4362395667 hasConceptScore W4362395667C55493867 @default.
- W4362395667 hasConceptScore W4362395667C56435381 @default.
- W4362395667 hasConceptScore W4362395667C68339613 @default.
- W4362395667 hasConceptScore W4362395667C71924100 @default.
- W4362395667 hasLocation W43623956671 @default.
- W4362395667 hasOpenAccess W4362395667 @default.
- W4362395667 hasPrimaryLocation W43623956671 @default.
- W4362395667 hasRelatedWork W104007018 @default.
- W4362395667 hasRelatedWork W1480577011 @default.
- W4362395667 hasRelatedWork W2012195956 @default.
- W4362395667 hasRelatedWork W2578542555 @default.
- W4362395667 hasRelatedWork W2793983771 @default.
- W4362395667 hasRelatedWork W2950279424 @default.
- W4362395667 hasRelatedWork W3041867789 @default.
- W4362395667 hasRelatedWork W4210480840 @default.
- W4362395667 hasRelatedWork W4312954372 @default.
- W4362395667 hasRelatedWork W189467078 @default.
- W4362395667 isParatext "false" @default.
- W4362395667 isRetracted "false" @default.
- W4362395667 workType "article" @default.