Matches in SemOpenAlex for { <https://semopenalex.org/work/W8902384> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W8902384 endingPage "10" @default.
- W8902384 startingPage "1" @default.
- W8902384 abstract "The famous de Jongh’s theorem of 1970 stated that the intuitionistic logic captured all the logical formulas which have all arithmetical instances derivable in the Heyting Arithmetic HA. In this note we extend de Jongh’s arithmetical completeness property from IPC to the basic intuitionistic logic of proofs, which allows proof assertion statements of the sort x is a proof of F. The logic of proofs seems to provide an appropriate language of describing admissible rules in HA." @default.
- W8902384 created "2016-06-24" @default.
- W8902384 creator A5075172069 @default.
- W8902384 creator A5087051979 @default.
- W8902384 date "2004-01-01" @default.
- W8902384 modified "2023-09-26" @default.
- W8902384 title "From de Jongh’s theorem to intuitionistic logic of proofs" @default.
- W8902384 cites W1497546070 @default.
- W8902384 cites W1518622943 @default.
- W8902384 cites W1519702305 @default.
- W8902384 cites W1566288082 @default.
- W8902384 cites W1981294086 @default.
- W8902384 cites W1982890778 @default.
- W8902384 cites W2016617619 @default.
- W8902384 cites W2023712626 @default.
- W8902384 cites W2043468053 @default.
- W8902384 cites W2046526482 @default.
- W8902384 cites W2058774275 @default.
- W8902384 cites W2059933820 @default.
- W8902384 cites W2077847391 @default.
- W8902384 cites W2090768444 @default.
- W8902384 cites W2093281783 @default.
- W8902384 cites W2108756969 @default.
- W8902384 cites W2243154890 @default.
- W8902384 hasPublicationYear "2004" @default.
- W8902384 type Work @default.
- W8902384 sameAs 8902384 @default.
- W8902384 citedByCount "0" @default.
- W8902384 crossrefType "journal-article" @default.
- W8902384 hasAuthorship W8902384A5075172069 @default.
- W8902384 hasAuthorship W8902384A5087051979 @default.
- W8902384 hasConcept C108710211 @default.
- W8902384 hasConcept C112343008 @default.
- W8902384 hasConcept C11413529 @default.
- W8902384 hasConcept C118615104 @default.
- W8902384 hasConcept C153107464 @default.
- W8902384 hasConcept C178421362 @default.
- W8902384 hasConcept C199343813 @default.
- W8902384 hasConcept C199360897 @default.
- W8902384 hasConcept C200116569 @default.
- W8902384 hasConcept C2318724 @default.
- W8902384 hasConcept C2524010 @default.
- W8902384 hasConcept C2777686260 @default.
- W8902384 hasConcept C28077239 @default.
- W8902384 hasConcept C33923547 @default.
- W8902384 hasConcept C40422974 @default.
- W8902384 hasConcept C41008148 @default.
- W8902384 hasConcept C47884741 @default.
- W8902384 hasConcept C62073222 @default.
- W8902384 hasConcept C71924100 @default.
- W8902384 hasConcept C85343465 @default.
- W8902384 hasConceptScore W8902384C108710211 @default.
- W8902384 hasConceptScore W8902384C112343008 @default.
- W8902384 hasConceptScore W8902384C11413529 @default.
- W8902384 hasConceptScore W8902384C118615104 @default.
- W8902384 hasConceptScore W8902384C153107464 @default.
- W8902384 hasConceptScore W8902384C178421362 @default.
- W8902384 hasConceptScore W8902384C199343813 @default.
- W8902384 hasConceptScore W8902384C199360897 @default.
- W8902384 hasConceptScore W8902384C200116569 @default.
- W8902384 hasConceptScore W8902384C2318724 @default.
- W8902384 hasConceptScore W8902384C2524010 @default.
- W8902384 hasConceptScore W8902384C2777686260 @default.
- W8902384 hasConceptScore W8902384C28077239 @default.
- W8902384 hasConceptScore W8902384C33923547 @default.
- W8902384 hasConceptScore W8902384C40422974 @default.
- W8902384 hasConceptScore W8902384C41008148 @default.
- W8902384 hasConceptScore W8902384C47884741 @default.
- W8902384 hasConceptScore W8902384C62073222 @default.
- W8902384 hasConceptScore W8902384C71924100 @default.
- W8902384 hasConceptScore W8902384C85343465 @default.
- W8902384 hasLocation W89023841 @default.
- W8902384 hasOpenAccess W8902384 @default.
- W8902384 hasPrimaryLocation W89023841 @default.
- W8902384 hasRelatedWork W1488809454 @default.
- W8902384 hasRelatedWork W164671196 @default.
- W8902384 hasRelatedWork W1967187961 @default.
- W8902384 hasRelatedWork W1977645663 @default.
- W8902384 hasRelatedWork W2023712626 @default.
- W8902384 hasRelatedWork W2036685181 @default.
- W8902384 hasRelatedWork W2051609898 @default.
- W8902384 hasRelatedWork W2056644980 @default.
- W8902384 hasRelatedWork W2083944571 @default.
- W8902384 hasRelatedWork W2093881948 @default.
- W8902384 hasRelatedWork W2114956963 @default.
- W8902384 hasRelatedWork W2290041791 @default.
- W8902384 hasRelatedWork W2409304415 @default.
- W8902384 hasRelatedWork W2896648705 @default.
- W8902384 hasRelatedWork W2898764506 @default.
- W8902384 hasRelatedWork W3003856596 @default.
- W8902384 hasRelatedWork W3151358110 @default.
- W8902384 hasRelatedWork W3151670155 @default.
- W8902384 hasRelatedWork W42296282 @default.
- W8902384 hasRelatedWork W63047115 @default.
- W8902384 isParatext "false" @default.
- W8902384 isRetracted "false" @default.
- W8902384 magId "8902384" @default.
- W8902384 workType "article" @default.