Matches in SemOpenAlex for { <https://semopenalex.org/work/W3215477479> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3215477479 abstract "We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, we also show that the propositional admissible rules of CZF are exactly those of intuitionistic propositional logic." @default.
- W3215477479 created "2021-12-06" @default.
- W3215477479 creator A5083091513 @default.
- W3215477479 date "2021-12-01" @default.
- W3215477479 modified "2023-09-27" @default.
- W3215477479 title "The first-order logic of CZF is intuitionistic." @default.
- W3215477479 cites W1967629533 @default.
- W3215477479 cites W1982890778 @default.
- W3215477479 cites W1988237188 @default.
- W3215477479 cites W2002359740 @default.
- W3215477479 cites W2023712626 @default.
- W3215477479 cites W2058774275 @default.
- W3215477479 cites W2095552684 @default.
- W3215477479 cites W2140640825 @default.
- W3215477479 cites W2143931279 @default.
- W3215477479 cites W2295008513 @default.
- W3215477479 cites W2601545920 @default.
- W3215477479 cites W3003856596 @default.
- W3215477479 cites W3177339176 @default.
- W3215477479 hasPublicationYear "2021" @default.
- W3215477479 type Work @default.
- W3215477479 sameAs 3215477479 @default.
- W3215477479 citedByCount "0" @default.
- W3215477479 crossrefType "posted-content" @default.
- W3215477479 hasAuthorship W3215477479A5083091513 @default.
- W3215477479 hasConcept C102993220 @default.
- W3215477479 hasConcept C110039528 @default.
- W3215477479 hasConcept C11413529 @default.
- W3215477479 hasConcept C118615104 @default.
- W3215477479 hasConcept C14523651 @default.
- W3215477479 hasConcept C147358099 @default.
- W3215477479 hasConcept C150889026 @default.
- W3215477479 hasConcept C178421362 @default.
- W3215477479 hasConcept C191222856 @default.
- W3215477479 hasConcept C203659156 @default.
- W3215477479 hasConcept C33203268 @default.
- W3215477479 hasConcept C33923547 @default.
- W3215477479 hasConcept C3845977 @default.
- W3215477479 hasConcept C41008148 @default.
- W3215477479 hasConcept C69562738 @default.
- W3215477479 hasConcept C80444323 @default.
- W3215477479 hasConceptScore W3215477479C102993220 @default.
- W3215477479 hasConceptScore W3215477479C110039528 @default.
- W3215477479 hasConceptScore W3215477479C11413529 @default.
- W3215477479 hasConceptScore W3215477479C118615104 @default.
- W3215477479 hasConceptScore W3215477479C14523651 @default.
- W3215477479 hasConceptScore W3215477479C147358099 @default.
- W3215477479 hasConceptScore W3215477479C150889026 @default.
- W3215477479 hasConceptScore W3215477479C178421362 @default.
- W3215477479 hasConceptScore W3215477479C191222856 @default.
- W3215477479 hasConceptScore W3215477479C203659156 @default.
- W3215477479 hasConceptScore W3215477479C33203268 @default.
- W3215477479 hasConceptScore W3215477479C33923547 @default.
- W3215477479 hasConceptScore W3215477479C3845977 @default.
- W3215477479 hasConceptScore W3215477479C41008148 @default.
- W3215477479 hasConceptScore W3215477479C69562738 @default.
- W3215477479 hasConceptScore W3215477479C80444323 @default.
- W3215477479 hasLocation W32154774791 @default.
- W3215477479 hasOpenAccess W3215477479 @default.
- W3215477479 hasPrimaryLocation W32154774791 @default.
- W3215477479 isParatext "false" @default.
- W3215477479 isRetracted "false" @default.
- W3215477479 magId "3215477479" @default.
- W3215477479 workType "article" @default.