Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017441861> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2017441861 endingPage "483" @default.
- W2017441861 startingPage "467" @default.
- W2017441861 abstract "Abstract Via the formulas-as-types embedding certain extensions of Heyting Arithmetic can be represented in intuitionistic type theories. In this paper we discuss the embedding of ω -sorted Heyting Arithmetic HA ω into a type theory WL , that can be described as Troelstra's system with so-called weak Σ -elimination rules. By syntactical means it is proved that a formula is derivable in HA ω if and only if its corresponding type in WL is inhabited. Analogous results are proved for Diller's so-called restricted system and for a type theory based on predicate logic instead of arithmetic." @default.
- W2017441861 created "2016-06-24" @default.
- W2017441861 creator A5017514817 @default.
- W2017441861 date "1991-06-01" @default.
- W2017441861 modified "2023-10-14" @default.
- W2017441861 title "The logic of first order intuitionistic type theory with weak sigma-elimination" @default.
- W2017441861 cites W2151520617 @default.
- W2017441861 cites W2798718690 @default.
- W2017441861 cites W4861723 @default.
- W2017441861 cites W569543113 @default.
- W2017441861 doi "https://doi.org/10.2307/2274694" @default.
- W2017441861 hasPublicationYear "1991" @default.
- W2017441861 type Work @default.
- W2017441861 sameAs 2017441861 @default.
- W2017441861 citedByCount "4" @default.
- W2017441861 countsByYear W20174418612021 @default.
- W2017441861 crossrefType "journal-article" @default.
- W2017441861 hasAuthorship W2017441861A5017514817 @default.
- W2017441861 hasConcept C100481476 @default.
- W2017441861 hasConcept C102993220 @default.
- W2017441861 hasConcept C118615104 @default.
- W2017441861 hasConcept C121332964 @default.
- W2017441861 hasConcept C136119220 @default.
- W2017441861 hasConcept C154945302 @default.
- W2017441861 hasConcept C178421362 @default.
- W2017441861 hasConcept C187062830 @default.
- W2017441861 hasConcept C18903297 @default.
- W2017441861 hasConcept C19689857 @default.
- W2017441861 hasConcept C202444582 @default.
- W2017441861 hasConcept C20528804 @default.
- W2017441861 hasConcept C2777299769 @default.
- W2017441861 hasConcept C2778049214 @default.
- W2017441861 hasConcept C28077239 @default.
- W2017441861 hasConcept C33203268 @default.
- W2017441861 hasConcept C33923547 @default.
- W2017441861 hasConcept C41008148 @default.
- W2017441861 hasConcept C41608201 @default.
- W2017441861 hasConcept C62073222 @default.
- W2017441861 hasConcept C62520636 @default.
- W2017441861 hasConcept C80444323 @default.
- W2017441861 hasConcept C85343465 @default.
- W2017441861 hasConcept C86803240 @default.
- W2017441861 hasConcept C93682546 @default.
- W2017441861 hasConcept C94375191 @default.
- W2017441861 hasConceptScore W2017441861C100481476 @default.
- W2017441861 hasConceptScore W2017441861C102993220 @default.
- W2017441861 hasConceptScore W2017441861C118615104 @default.
- W2017441861 hasConceptScore W2017441861C121332964 @default.
- W2017441861 hasConceptScore W2017441861C136119220 @default.
- W2017441861 hasConceptScore W2017441861C154945302 @default.
- W2017441861 hasConceptScore W2017441861C178421362 @default.
- W2017441861 hasConceptScore W2017441861C187062830 @default.
- W2017441861 hasConceptScore W2017441861C18903297 @default.
- W2017441861 hasConceptScore W2017441861C19689857 @default.
- W2017441861 hasConceptScore W2017441861C202444582 @default.
- W2017441861 hasConceptScore W2017441861C20528804 @default.
- W2017441861 hasConceptScore W2017441861C2777299769 @default.
- W2017441861 hasConceptScore W2017441861C2778049214 @default.
- W2017441861 hasConceptScore W2017441861C28077239 @default.
- W2017441861 hasConceptScore W2017441861C33203268 @default.
- W2017441861 hasConceptScore W2017441861C33923547 @default.
- W2017441861 hasConceptScore W2017441861C41008148 @default.
- W2017441861 hasConceptScore W2017441861C41608201 @default.
- W2017441861 hasConceptScore W2017441861C62073222 @default.
- W2017441861 hasConceptScore W2017441861C62520636 @default.
- W2017441861 hasConceptScore W2017441861C80444323 @default.
- W2017441861 hasConceptScore W2017441861C85343465 @default.
- W2017441861 hasConceptScore W2017441861C86803240 @default.
- W2017441861 hasConceptScore W2017441861C93682546 @default.
- W2017441861 hasConceptScore W2017441861C94375191 @default.
- W2017441861 hasIssue "2" @default.
- W2017441861 hasLocation W20174418611 @default.
- W2017441861 hasOpenAccess W2017441861 @default.
- W2017441861 hasPrimaryLocation W20174418611 @default.
- W2017441861 hasRelatedWork W164671196 @default.
- W2017441861 hasRelatedWork W1775396611 @default.
- W2017441861 hasRelatedWork W1933071604 @default.
- W2017441861 hasRelatedWork W2017441861 @default.
- W2017441861 hasRelatedWork W2138418150 @default.
- W2017441861 hasRelatedWork W2140640825 @default.
- W2017441861 hasRelatedWork W2511495980 @default.
- W2017441861 hasRelatedWork W2951910900 @default.
- W2017441861 hasRelatedWork W4301157699 @default.
- W2017441861 hasRelatedWork W969911513 @default.
- W2017441861 hasVolume "56" @default.
- W2017441861 isParatext "false" @default.
- W2017441861 isRetracted "false" @default.
- W2017441861 magId "2017441861" @default.
- W2017441861 workType "article" @default.