Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100933350> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2100933350 abstract "The predicate logic of recursive realizability was carefully studied by the author in the 1970s. In particular, it was proved that the predicate realizability logic changes if the basic language of formal arithmetic is replaced by its extension with the truth predicate. In the paper this result is generalized by considering similar extensions of the arithmetical language by transfinite induction up to an arbitrary constructive ordinal. Namely, for every constructive ordinal α, a transfinite sequence of extensions LAβ (β≤α) of the first-order language of formal arithmetic is considered. Constructive semantics for these languages is defined in terms of recursive realizability. Variants of LAβ-realizability for the predicate formulas are considered and corresponding predicate logics are studied." @default.
- W2100933350 created "2016-06-24" @default.
- W2100933350 creator A5044537152 @default.
- W2100933350 date "2010-01-01" @default.
- W2100933350 modified "2023-09-25" @default.
- W2100933350 title "Transfinite Sequences of Constructive Predicate Logics" @default.
- W2100933350 cites W2043566933 @default.
- W2100933350 doi "https://doi.org/10.1007/978-3-642-13182-0_29" @default.
- W2100933350 hasPublicationYear "2010" @default.
- W2100933350 type Work @default.
- W2100933350 sameAs 2100933350 @default.
- W2100933350 citedByCount "1" @default.
- W2100933350 crossrefType "book-chapter" @default.
- W2100933350 hasAuthorship W2100933350A5044537152 @default.
- W2100933350 hasConcept C100481476 @default.
- W2100933350 hasConcept C102993220 @default.
- W2100933350 hasConcept C110039528 @default.
- W2100933350 hasConcept C11413529 @default.
- W2100933350 hasConcept C118615104 @default.
- W2100933350 hasConcept C136119220 @default.
- W2100933350 hasConcept C140146324 @default.
- W2100933350 hasConcept C147358099 @default.
- W2100933350 hasConcept C19689857 @default.
- W2100933350 hasConcept C199360897 @default.
- W2100933350 hasConcept C202444582 @default.
- W2100933350 hasConcept C203659156 @default.
- W2100933350 hasConcept C2776378722 @default.
- W2100933350 hasConcept C2778701210 @default.
- W2100933350 hasConcept C33923547 @default.
- W2100933350 hasConcept C41008148 @default.
- W2100933350 hasConcept C73314972 @default.
- W2100933350 hasConcept C98045186 @default.
- W2100933350 hasConceptScore W2100933350C100481476 @default.
- W2100933350 hasConceptScore W2100933350C102993220 @default.
- W2100933350 hasConceptScore W2100933350C110039528 @default.
- W2100933350 hasConceptScore W2100933350C11413529 @default.
- W2100933350 hasConceptScore W2100933350C118615104 @default.
- W2100933350 hasConceptScore W2100933350C136119220 @default.
- W2100933350 hasConceptScore W2100933350C140146324 @default.
- W2100933350 hasConceptScore W2100933350C147358099 @default.
- W2100933350 hasConceptScore W2100933350C19689857 @default.
- W2100933350 hasConceptScore W2100933350C199360897 @default.
- W2100933350 hasConceptScore W2100933350C202444582 @default.
- W2100933350 hasConceptScore W2100933350C203659156 @default.
- W2100933350 hasConceptScore W2100933350C2776378722 @default.
- W2100933350 hasConceptScore W2100933350C2778701210 @default.
- W2100933350 hasConceptScore W2100933350C33923547 @default.
- W2100933350 hasConceptScore W2100933350C41008148 @default.
- W2100933350 hasConceptScore W2100933350C73314972 @default.
- W2100933350 hasConceptScore W2100933350C98045186 @default.
- W2100933350 hasLocation W21009333501 @default.
- W2100933350 hasOpenAccess W2100933350 @default.
- W2100933350 hasPrimaryLocation W21009333501 @default.
- W2100933350 hasRelatedWork W100816062 @default.
- W2100933350 hasRelatedWork W1025722046 @default.
- W2100933350 hasRelatedWork W1164922186 @default.
- W2100933350 hasRelatedWork W1533076437 @default.
- W2100933350 hasRelatedWork W199863285 @default.
- W2100933350 hasRelatedWork W2045799189 @default.
- W2100933350 hasRelatedWork W2055390302 @default.
- W2100933350 hasRelatedWork W2078153623 @default.
- W2100933350 hasRelatedWork W2097270855 @default.
- W2100933350 hasRelatedWork W2110361925 @default.
- W2100933350 hasRelatedWork W2535647996 @default.
- W2100933350 hasRelatedWork W2886737850 @default.
- W2100933350 hasRelatedWork W3107646874 @default.
- W2100933350 hasRelatedWork W3199216053 @default.
- W2100933350 hasRelatedWork W3202260027 @default.
- W2100933350 hasRelatedWork W427908274 @default.
- W2100933350 hasRelatedWork W598896446 @default.
- W2100933350 hasRelatedWork W854359444 @default.
- W2100933350 hasRelatedWork W961986602 @default.
- W2100933350 hasRelatedWork W2506656702 @default.
- W2100933350 isParatext "false" @default.
- W2100933350 isRetracted "false" @default.
- W2100933350 magId "2100933350" @default.
- W2100933350 workType "book-chapter" @default.