Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285704038> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4285704038 abstract "We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependent type theory and natural deduction as special kinds of judgemental theories. Our analysis sheds light on both the topics, providing a new point of view. In the case of type theory, we provide an abstract definition of type constructor featuring the usual formation, introduction, elimination and computation rules. For natural deduction we offer a deep analysis of structural rules, demystifying some of their properties, and putting them into context. We finish the paper discussing the internal logic of a topos, a predicative topos, an elementary 2-topos et similia, and show how these can be organized in judgemental theories." @default.
- W4285704038 created "2022-07-18" @default.
- W4285704038 creator A5030526831 @default.
- W4285704038 creator A5037702763 @default.
- W4285704038 date "2021-11-17" @default.
- W4285704038 modified "2023-09-27" @default.
- W4285704038 title "Context, Judgement, Deduction" @default.
- W4285704038 doi "https://doi.org/10.48550/arxiv.2111.09438" @default.
- W4285704038 hasPublicationYear "2021" @default.
- W4285704038 type Work @default.
- W4285704038 citedByCount "0" @default.
- W4285704038 crossrefType "posted-content" @default.
- W4285704038 hasAuthorship W4285704038A5030526831 @default.
- W4285704038 hasAuthorship W4285704038A5037702763 @default.
- W4285704038 hasBestOaLocation W42857040381 @default.
- W4285704038 hasConcept C107574306 @default.
- W4285704038 hasConcept C111472728 @default.
- W4285704038 hasConcept C124952713 @default.
- W4285704038 hasConcept C129131279 @default.
- W4285704038 hasConcept C138885662 @default.
- W4285704038 hasConcept C142362112 @default.
- W4285704038 hasConcept C151730666 @default.
- W4285704038 hasConcept C182141236 @default.
- W4285704038 hasConcept C18903297 @default.
- W4285704038 hasConcept C2524010 @default.
- W4285704038 hasConcept C2776548248 @default.
- W4285704038 hasConcept C2777299769 @default.
- W4285704038 hasConcept C2779343474 @default.
- W4285704038 hasConcept C28719098 @default.
- W4285704038 hasConcept C33923547 @default.
- W4285704038 hasConcept C41008148 @default.
- W4285704038 hasConcept C41895202 @default.
- W4285704038 hasConcept C86803240 @default.
- W4285704038 hasConcept C93682546 @default.
- W4285704038 hasConceptScore W4285704038C107574306 @default.
- W4285704038 hasConceptScore W4285704038C111472728 @default.
- W4285704038 hasConceptScore W4285704038C124952713 @default.
- W4285704038 hasConceptScore W4285704038C129131279 @default.
- W4285704038 hasConceptScore W4285704038C138885662 @default.
- W4285704038 hasConceptScore W4285704038C142362112 @default.
- W4285704038 hasConceptScore W4285704038C151730666 @default.
- W4285704038 hasConceptScore W4285704038C182141236 @default.
- W4285704038 hasConceptScore W4285704038C18903297 @default.
- W4285704038 hasConceptScore W4285704038C2524010 @default.
- W4285704038 hasConceptScore W4285704038C2776548248 @default.
- W4285704038 hasConceptScore W4285704038C2777299769 @default.
- W4285704038 hasConceptScore W4285704038C2779343474 @default.
- W4285704038 hasConceptScore W4285704038C28719098 @default.
- W4285704038 hasConceptScore W4285704038C33923547 @default.
- W4285704038 hasConceptScore W4285704038C41008148 @default.
- W4285704038 hasConceptScore W4285704038C41895202 @default.
- W4285704038 hasConceptScore W4285704038C86803240 @default.
- W4285704038 hasConceptScore W4285704038C93682546 @default.
- W4285704038 hasLocation W42857040381 @default.
- W4285704038 hasOpenAccess W4285704038 @default.
- W4285704038 hasPrimaryLocation W42857040381 @default.
- W4285704038 hasRelatedWork W1913597141 @default.
- W4285704038 hasRelatedWork W2121213425 @default.
- W4285704038 hasRelatedWork W2143617699 @default.
- W4285704038 hasRelatedWork W2609602555 @default.
- W4285704038 hasRelatedWork W2939158620 @default.
- W4285704038 hasRelatedWork W3022980401 @default.
- W4285704038 hasRelatedWork W3174840905 @default.
- W4285704038 hasRelatedWork W3211912134 @default.
- W4285704038 hasRelatedWork W4297908055 @default.
- W4285704038 hasRelatedWork W4226410745 @default.
- W4285704038 isParatext "false" @default.
- W4285704038 isRetracted "false" @default.
- W4285704038 workType "article" @default.