Matches in SemOpenAlex for { <https://semopenalex.org/work/W1962332622> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1962332622 abstract "In this paper we discuss strong normalization for natural deduction in the →∀-fragment of first-order logic. The method of collapsing types is used to transfer the result (concerning strong normalization) from implicational logic to first-order logic. The result is improved by a complement, which states that the length of any reduction sequence of derivation term r in first-order logic is equal to the length of the corresponding reduction sequence of its collapse term rc in implicational logic." @default.
- W1962332622 created "2016-06-24" @default.
- W1962332622 creator A5074053795 @default.
- W1962332622 date "2007-11-08" @default.
- W1962332622 modified "2023-09-27" @default.
- W1962332622 title "Reduction in first-order logic compared with reduction in implicational logic" @default.
- W1962332622 cites W1499154644 @default.
- W1962332622 doi "https://doi.org/10.26686/ajl.v5i0.1785" @default.
- W1962332622 hasPublicationYear "2007" @default.
- W1962332622 type Work @default.
- W1962332622 sameAs 1962332622 @default.
- W1962332622 citedByCount "0" @default.
- W1962332622 crossrefType "journal-article" @default.
- W1962332622 hasAuthorship W1962332622A5074053795 @default.
- W1962332622 hasBestOaLocation W19623326221 @default.
- W1962332622 hasConcept C102993220 @default.
- W1962332622 hasConcept C111335779 @default.
- W1962332622 hasConcept C11413529 @default.
- W1962332622 hasConcept C136886441 @default.
- W1962332622 hasConcept C144024400 @default.
- W1962332622 hasConcept C19165224 @default.
- W1962332622 hasConcept C19689857 @default.
- W1962332622 hasConcept C2524010 @default.
- W1962332622 hasConcept C2776235265 @default.
- W1962332622 hasConcept C33923547 @default.
- W1962332622 hasConcept C41008148 @default.
- W1962332622 hasConcept C80444323 @default.
- W1962332622 hasConcept C94375191 @default.
- W1962332622 hasConceptScore W1962332622C102993220 @default.
- W1962332622 hasConceptScore W1962332622C111335779 @default.
- W1962332622 hasConceptScore W1962332622C11413529 @default.
- W1962332622 hasConceptScore W1962332622C136886441 @default.
- W1962332622 hasConceptScore W1962332622C144024400 @default.
- W1962332622 hasConceptScore W1962332622C19165224 @default.
- W1962332622 hasConceptScore W1962332622C19689857 @default.
- W1962332622 hasConceptScore W1962332622C2524010 @default.
- W1962332622 hasConceptScore W1962332622C2776235265 @default.
- W1962332622 hasConceptScore W1962332622C33923547 @default.
- W1962332622 hasConceptScore W1962332622C41008148 @default.
- W1962332622 hasConceptScore W1962332622C80444323 @default.
- W1962332622 hasConceptScore W1962332622C94375191 @default.
- W1962332622 hasLocation W19623326221 @default.
- W1962332622 hasOpenAccess W1962332622 @default.
- W1962332622 hasPrimaryLocation W19623326221 @default.
- W1962332622 hasRelatedWork W1970460479 @default.
- W1962332622 hasRelatedWork W1984152394 @default.
- W1962332622 hasRelatedWork W2027331439 @default.
- W1962332622 hasRelatedWork W2053326843 @default.
- W1962332622 hasRelatedWork W2101729768 @default.
- W1962332622 hasRelatedWork W2352590024 @default.
- W1962332622 hasRelatedWork W2538049348 @default.
- W1962332622 hasRelatedWork W2783434815 @default.
- W1962332622 hasRelatedWork W2998485758 @default.
- W1962332622 hasRelatedWork W3123593688 @default.
- W1962332622 hasVolume "5" @default.
- W1962332622 isParatext "false" @default.
- W1962332622 isRetracted "false" @default.
- W1962332622 magId "1962332622" @default.
- W1962332622 workType "article" @default.