Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157560459> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2157560459 endingPage "1291" @default.
- W2157560459 startingPage "1269" @default.
- W2157560459 abstract "Abstract Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF , which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF for partial functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system." @default.
- W2157560459 created "2016-06-24" @default.
- W2157560459 creator A5026752114 @default.
- W2157560459 date "1990-09-01" @default.
- W2157560459 modified "2023-09-30" @default.
- W2157560459 title "A partial functions version of Church's simple theory of types" @default.
- W2157560459 cites W126568045 @default.
- W2157560459 cites W1498831097 @default.
- W2157560459 cites W1911653709 @default.
- W2157560459 cites W1986402635 @default.
- W2157560459 cites W2034676877 @default.
- W2157560459 cites W2087011376 @default.
- W2157560459 cites W2137033866 @default.
- W2157560459 cites W2165434002 @default.
- W2157560459 cites W2295902379 @default.
- W2157560459 cites W2325825698 @default.
- W2157560459 cites W3026313652 @default.
- W2157560459 cites W4241775074 @default.
- W2157560459 cites W4249355983 @default.
- W2157560459 cites W4250282680 @default.
- W2157560459 cites W4256124958 @default.
- W2157560459 cites W6204907 @default.
- W2157560459 cites W914834656 @default.
- W2157560459 cites W981129589 @default.
- W2157560459 doi "https://doi.org/10.2307/2274487" @default.
- W2157560459 hasPublicationYear "1990" @default.
- W2157560459 type Work @default.
- W2157560459 sameAs 2157560459 @default.
- W2157560459 citedByCount "92" @default.
- W2157560459 countsByYear W21575604592012 @default.
- W2157560459 countsByYear W21575604592013 @default.
- W2157560459 countsByYear W21575604592014 @default.
- W2157560459 countsByYear W21575604592015 @default.
- W2157560459 countsByYear W21575604592016 @default.
- W2157560459 countsByYear W21575604592017 @default.
- W2157560459 countsByYear W21575604592018 @default.
- W2157560459 countsByYear W21575604592019 @default.
- W2157560459 countsByYear W21575604592020 @default.
- W2157560459 countsByYear W21575604592022 @default.
- W2157560459 countsByYear W21575604592023 @default.
- W2157560459 crossrefType "journal-article" @default.
- W2157560459 hasAuthorship W2157560459A5026752114 @default.
- W2157560459 hasConcept C10138342 @default.
- W2157560459 hasConcept C111472728 @default.
- W2157560459 hasConcept C118615104 @default.
- W2157560459 hasConcept C136119220 @default.
- W2157560459 hasConcept C138885662 @default.
- W2157560459 hasConcept C162324750 @default.
- W2157560459 hasConcept C182306322 @default.
- W2157560459 hasConcept C182359184 @default.
- W2157560459 hasConcept C184337299 @default.
- W2157560459 hasConcept C199343813 @default.
- W2157560459 hasConcept C199360897 @default.
- W2157560459 hasConcept C202444582 @default.
- W2157560459 hasConcept C2777686260 @default.
- W2157560459 hasConcept C2780586882 @default.
- W2157560459 hasConcept C33923547 @default.
- W2157560459 hasConcept C41008148 @default.
- W2157560459 hasConcept C46274116 @default.
- W2157560459 hasConcept C71924100 @default.
- W2157560459 hasConceptScore W2157560459C10138342 @default.
- W2157560459 hasConceptScore W2157560459C111472728 @default.
- W2157560459 hasConceptScore W2157560459C118615104 @default.
- W2157560459 hasConceptScore W2157560459C136119220 @default.
- W2157560459 hasConceptScore W2157560459C138885662 @default.
- W2157560459 hasConceptScore W2157560459C162324750 @default.
- W2157560459 hasConceptScore W2157560459C182306322 @default.
- W2157560459 hasConceptScore W2157560459C182359184 @default.
- W2157560459 hasConceptScore W2157560459C184337299 @default.
- W2157560459 hasConceptScore W2157560459C199343813 @default.
- W2157560459 hasConceptScore W2157560459C199360897 @default.
- W2157560459 hasConceptScore W2157560459C202444582 @default.
- W2157560459 hasConceptScore W2157560459C2777686260 @default.
- W2157560459 hasConceptScore W2157560459C2780586882 @default.
- W2157560459 hasConceptScore W2157560459C33923547 @default.
- W2157560459 hasConceptScore W2157560459C41008148 @default.
- W2157560459 hasConceptScore W2157560459C46274116 @default.
- W2157560459 hasConceptScore W2157560459C71924100 @default.
- W2157560459 hasIssue "3" @default.
- W2157560459 hasLocation W21575604591 @default.
- W2157560459 hasOpenAccess W2157560459 @default.
- W2157560459 hasPrimaryLocation W21575604591 @default.
- W2157560459 hasRelatedWork W1526789715 @default.
- W2157560459 hasRelatedWork W1887191277 @default.
- W2157560459 hasRelatedWork W2018619927 @default.
- W2157560459 hasRelatedWork W2054072800 @default.
- W2157560459 hasRelatedWork W2157560459 @default.
- W2157560459 hasRelatedWork W2334954212 @default.
- W2157560459 hasRelatedWork W2380389143 @default.
- W2157560459 hasRelatedWork W2964285269 @default.
- W2157560459 hasRelatedWork W4235288607 @default.
- W2157560459 hasRelatedWork W4238075012 @default.
- W2157560459 hasVolume "55" @default.
- W2157560459 isParatext "false" @default.
- W2157560459 isRetracted "false" @default.
- W2157560459 magId "2157560459" @default.
- W2157560459 workType "article" @default.