FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2316406086> ?p ?o ?g. }

• W2316406086 endingPage "240" @default.
• W2316406086 startingPage "211" @default.
• W2316406086 abstract "Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of an interpretation of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of IMPS, an Interactive Mathematical Proof System developed at The MITRE Corporation." @default.
• W2316406086 created "2016-06-24" @default.
• W2316406086 creator A5026752114 @default.
• W2316406086 date "1993-11-01" @default.
• W2316406086 modified "2023-09-29" @default.
• W2316406086 title "A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991." @default.
• W2316406086 cites W1498831097 @default.
• W2316406086 cites W1996404651 @default.
• W2316406086 cites W2157560459 @default.
• W2316406086 cites W2160331299 @default.
• W2316406086 cites W2162338955 @default.
• W2316406086 cites W914834656 @default.
• W2316406086 doi "https://doi.org/10.1016/0168-0072(93)90144-3" @default.
• W2316406086 hasPublicationYear "1993" @default.
• W2316406086 type Work @default.
• W2316406086 sameAs 2316406086 @default.
• W2316406086 citedByCount "36" @default.
• W2316406086 countsByYear W23164060862012 @default.
• W2316406086 countsByYear W23164060862014 @default.
• W2316406086 countsByYear W23164060862015 @default.
• W2316406086 countsByYear W23164060862016 @default.
• W2316406086 countsByYear W23164060862017 @default.
• W2316406086 countsByYear W23164060862018 @default.
• W2316406086 countsByYear W23164060862019 @default.
• W2316406086 countsByYear W23164060862023 @default.
• W2316406086 crossrefType "journal-article" @default.
• W2316406086 hasAuthorship W2316406086A5026752114 @default.
• W2316406086 hasBestOaLocation W23164060861 @default.
• W2316406086 hasConcept C102993220 @default.
• W2316406086 hasConcept C108710211 @default.
• W2316406086 hasConcept C111472728 @default.
• W2316406086 hasConcept C118615104 @default.
• W2316406086 hasConcept C125773388 @default.
• W2316406086 hasConcept C136119220 @default.
• W2316406086 hasConcept C138885662 @default.
• W2316406086 hasConcept C140146324 @default.
• W2316406086 hasConcept C156325763 @default.
• W2316406086 hasConcept C167729594 @default.
• W2316406086 hasConcept C184337299 @default.
• W2316406086 hasConcept C18903297 @default.
• W2316406086 hasConcept C19689857 @default.
• W2316406086 hasConcept C199343813 @default.
• W2316406086 hasConcept C199360897 @default.
• W2316406086 hasConcept C202444582 @default.
• W2316406086 hasConcept C207648694 @default.
• W2316406086 hasConcept C2318724 @default.
• W2316406086 hasConcept C2524010 @default.
• W2316406086 hasConcept C2777299769 @default.
• W2316406086 hasConcept C2777686260 @default.
• W2316406086 hasConcept C2780586882 @default.
• W2316406086 hasConcept C33923547 @default.
• W2316406086 hasConcept C41008148 @default.
• W2316406086 hasConcept C47030870 @default.
• W2316406086 hasConcept C527412718 @default.
• W2316406086 hasConcept C58041814 @default.
• W2316406086 hasConcept C71924100 @default.
• W2316406086 hasConcept C86803240 @default.
• W2316406086 hasConcept C93682546 @default.
• W2316406086 hasConceptScore W2316406086C102993220 @default.
• W2316406086 hasConceptScore W2316406086C108710211 @default.
• W2316406086 hasConceptScore W2316406086C111472728 @default.
• W2316406086 hasConceptScore W2316406086C118615104 @default.
• W2316406086 hasConceptScore W2316406086C125773388 @default.
• W2316406086 hasConceptScore W2316406086C136119220 @default.
• W2316406086 hasConceptScore W2316406086C138885662 @default.
• W2316406086 hasConceptScore W2316406086C140146324 @default.
• W2316406086 hasConceptScore W2316406086C156325763 @default.
• W2316406086 hasConceptScore W2316406086C167729594 @default.
• W2316406086 hasConceptScore W2316406086C184337299 @default.
• W2316406086 hasConceptScore W2316406086C18903297 @default.
• W2316406086 hasConceptScore W2316406086C19689857 @default.
• W2316406086 hasConceptScore W2316406086C199343813 @default.
• W2316406086 hasConceptScore W2316406086C199360897 @default.
• W2316406086 hasConceptScore W2316406086C202444582 @default.
• W2316406086 hasConceptScore W2316406086C207648694 @default.
• W2316406086 hasConceptScore W2316406086C2318724 @default.
• W2316406086 hasConceptScore W2316406086C2524010 @default.
• W2316406086 hasConceptScore W2316406086C2777299769 @default.
• W2316406086 hasConceptScore W2316406086C2777686260 @default.
• W2316406086 hasConceptScore W2316406086C2780586882 @default.
• W2316406086 hasConceptScore W2316406086C33923547 @default.
• W2316406086 hasConceptScore W2316406086C41008148 @default.
• W2316406086 hasConceptScore W2316406086C47030870 @default.
• W2316406086 hasConceptScore W2316406086C527412718 @default.
• W2316406086 hasConceptScore W2316406086C58041814 @default.
• W2316406086 hasConceptScore W2316406086C71924100 @default.
• W2316406086 hasConceptScore W2316406086C86803240 @default.
• W2316406086 hasConceptScore W2316406086C93682546 @default.
• W2316406086 hasIssue "3" @default.
• W2316406086 hasLocation W23164060861 @default.
• W2316406086 hasOpenAccess W2316406086 @default.
• W2316406086 hasPrimaryLocation W23164060861 @default.
• W2316406086 hasRelatedWork W2000079419 @default.
• W2316406086 hasRelatedWork W2053558194 @default.
• W2316406086 hasRelatedWork W2089702017 @default.
• W2316406086 hasRelatedWork W2090221798 @default.
• W2316406086 hasRelatedWork W2121963243 @default.
• W2316406086 hasRelatedWork W2316406086 @default.

• next