Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912552923> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2912552923 abstract "In this chapter, we prove that the temporal type theory developed in Chaps. 4 and 5 is sound in the topos (mathcal {B}). To do so, we begin in Sect. 6.1 by recalling the Kripke–Joyal semantics by which to interpret type-theoretic formulas in the topos (mathcal {B}). Then in Sect. 6.3 we discuss the sheaf of real numbers and Time. We then proceed to our main goal: proving that our type signature—i.e., the one atomic predicate symbol and the ten axioms presented in Chap. 5—are sound in (mathcal {B}). This is done in Sect. 6.5, which begins with a Table 6.2 summarizing the type signature." @default.
- W2912552923 created "2019-02-21" @default.
- W2912552923 creator A5014088772 @default.
- W2912552923 creator A5040976335 @default.
- W2912552923 date "2019-01-01" @default.
- W2912552923 modified "2023-09-26" @default.
- W2912552923 title "Semantics and Soundness" @default.
- W2912552923 cites W1520893111 @default.
- W2912552923 cites W1534018603 @default.
- W2912552923 doi "https://doi.org/10.1007/978-3-030-00704-1_6" @default.
- W2912552923 hasPublicationYear "2019" @default.
- W2912552923 type Work @default.
- W2912552923 sameAs 2912552923 @default.
- W2912552923 citedByCount "0" @default.
- W2912552923 crossrefType "book-chapter" @default.
- W2912552923 hasAuthorship W2912552923A5014088772 @default.
- W2912552923 hasAuthorship W2912552923A5040976335 @default.
- W2912552923 hasConcept C118615104 @default.
- W2912552923 hasConcept C124952713 @default.
- W2912552923 hasConcept C138885662 @default.
- W2912552923 hasConcept C140146324 @default.
- W2912552923 hasConcept C142362112 @default.
- W2912552923 hasConcept C167729594 @default.
- W2912552923 hasConcept C182141236 @default.
- W2912552923 hasConcept C18903297 @default.
- W2912552923 hasConcept C199360897 @default.
- W2912552923 hasConcept C2524010 @default.
- W2912552923 hasConcept C2777299769 @default.
- W2912552923 hasConcept C2779696439 @default.
- W2912552923 hasConcept C33923547 @default.
- W2912552923 hasConcept C39920170 @default.
- W2912552923 hasConcept C41008148 @default.
- W2912552923 hasConcept C41895202 @default.
- W2912552923 hasConcept C86803240 @default.
- W2912552923 hasConceptScore W2912552923C118615104 @default.
- W2912552923 hasConceptScore W2912552923C124952713 @default.
- W2912552923 hasConceptScore W2912552923C138885662 @default.
- W2912552923 hasConceptScore W2912552923C140146324 @default.
- W2912552923 hasConceptScore W2912552923C142362112 @default.
- W2912552923 hasConceptScore W2912552923C167729594 @default.
- W2912552923 hasConceptScore W2912552923C182141236 @default.
- W2912552923 hasConceptScore W2912552923C18903297 @default.
- W2912552923 hasConceptScore W2912552923C199360897 @default.
- W2912552923 hasConceptScore W2912552923C2524010 @default.
- W2912552923 hasConceptScore W2912552923C2777299769 @default.
- W2912552923 hasConceptScore W2912552923C2779696439 @default.
- W2912552923 hasConceptScore W2912552923C33923547 @default.
- W2912552923 hasConceptScore W2912552923C39920170 @default.
- W2912552923 hasConceptScore W2912552923C41008148 @default.
- W2912552923 hasConceptScore W2912552923C41895202 @default.
- W2912552923 hasConceptScore W2912552923C86803240 @default.
- W2912552923 hasLocation W29125529231 @default.
- W2912552923 hasOpenAccess W2912552923 @default.
- W2912552923 hasPrimaryLocation W29125529231 @default.
- W2912552923 hasRelatedWork W1851509138 @default.
- W2912552923 hasRelatedWork W1986839620 @default.
- W2912552923 hasRelatedWork W2013705348 @default.
- W2912552923 hasRelatedWork W2057721843 @default.
- W2912552923 hasRelatedWork W2509903391 @default.
- W2912552923 hasRelatedWork W2737270498 @default.
- W2912552923 hasRelatedWork W2912552923 @default.
- W2912552923 hasRelatedWork W2964322172 @default.
- W2912552923 hasRelatedWork W2977682276 @default.
- W2912552923 hasRelatedWork W4226099175 @default.
- W2912552923 isParatext "false" @default.
- W2912552923 isRetracted "false" @default.
- W2912552923 magId "2912552923" @default.
- W2912552923 workType "book-chapter" @default.