FRINK Linked Data Fragments server

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

• W2089702017 endingPage "326" @default.
• W2089702017 startingPage "305" @default.
• W2089702017 abstract "In my paper [10] I introduced the syntactical concepts “positive part” and “negative part” of logical formulas in first-order predicate calculus. These concepts make it possible to establish logical systems on inference rules similar to Gentzen's inference rules but without using the concept “sequent” and without needing Gentzen's structural inference rules. Proof-theoretical investigations of several formal systems based on positive and negative parts are published in [11]. In this paper I consider a similar formal system of simple type theory. A syntactical concept of “strict derivability” results from the formal system in [10] by generalization of the axioms and inference rules from first to higher-order predicate calculus and by addition of inference rules for set abstraction by means of a λ-symbol which allows us to form set expressions of arbitrary types from well-formed formulas." @default.
• W2089702017 created "2016-06-24" @default.
• W2089702017 creator A5008105013 @default.
• W2089702017 date "1960-12-01" @default.
• W2089702017 modified "2023-10-18" @default.
• W2089702017 title "Syntactical and semantical properties of simple type theory" @default.
• W2089702017 cites W2000548819 @default.
• W2089702017 cites W2039977878 @default.
• W2089702017 cites W2334689342 @default.
• W2089702017 cites W969295556 @default.
• W2089702017 doi "https://doi.org/10.2307/2963525" @default.
• W2089702017 hasPublicationYear "1960" @default.
• W2089702017 type Work @default.
• W2089702017 sameAs 2089702017 @default.
• W2089702017 citedByCount "82" @default.
• W2089702017 countsByYear W20897020172012 @default.
• W2089702017 countsByYear W20897020172013 @default.
• W2089702017 countsByYear W20897020172014 @default.
• W2089702017 countsByYear W20897020172015 @default.
• W2089702017 countsByYear W20897020172016 @default.
• W2089702017 countsByYear W20897020172017 @default.
• W2089702017 countsByYear W20897020172018 @default.
• W2089702017 countsByYear W20897020172019 @default.
• W2089702017 countsByYear W20897020172020 @default.
• W2089702017 countsByYear W20897020172021 @default.
• W2089702017 countsByYear W20897020172022 @default.
• W2089702017 countsByYear W20897020172023 @default.
• W2089702017 crossrefType "journal-article" @default.
• W2089702017 hasAuthorship W2089702017A5008105013 @default.
• W2089702017 hasConcept C100481476 @default.
• W2089702017 hasConcept C108710211 @default.
• W2089702017 hasConcept C111404639 @default.
• W2089702017 hasConcept C111472728 @default.
• W2089702017 hasConcept C118615104 @default.
• W2089702017 hasConcept C125773388 @default.
• W2089702017 hasConcept C134306372 @default.
• W2089702017 hasConcept C138885662 @default.
• W2089702017 hasConcept C140146324 @default.
• W2089702017 hasConcept C154945302 @default.
• W2089702017 hasConcept C167729594 @default.
• W2089702017 hasConcept C177148314 @default.
• W2089702017 hasConcept C18903297 @default.
• W2089702017 hasConcept C199343813 @default.
• W2089702017 hasConcept C199360897 @default.
• W2089702017 hasConcept C2318724 @default.
• W2089702017 hasConcept C2524010 @default.
• W2089702017 hasConcept C2776214188 @default.
• W2089702017 hasConcept C2777299769 @default.
• W2089702017 hasConcept C2777686260 @default.
• W2089702017 hasConcept C2780586882 @default.
• W2089702017 hasConcept C33923547 @default.
• W2089702017 hasConcept C3746660 @default.
• W2089702017 hasConcept C41008148 @default.
• W2089702017 hasConcept C62073222 @default.
• W2089702017 hasConcept C6489637 @default.
• W2089702017 hasConcept C65880906 @default.
• W2089702017 hasConcept C71924100 @default.
• W2089702017 hasConcept C86803240 @default.
• W2089702017 hasConcept C93682546 @default.
• W2089702017 hasConceptScore W2089702017C100481476 @default.
• W2089702017 hasConceptScore W2089702017C108710211 @default.
• W2089702017 hasConceptScore W2089702017C111404639 @default.
• W2089702017 hasConceptScore W2089702017C111472728 @default.
• W2089702017 hasConceptScore W2089702017C118615104 @default.
• W2089702017 hasConceptScore W2089702017C125773388 @default.
• W2089702017 hasConceptScore W2089702017C134306372 @default.
• W2089702017 hasConceptScore W2089702017C138885662 @default.
• W2089702017 hasConceptScore W2089702017C140146324 @default.
• W2089702017 hasConceptScore W2089702017C154945302 @default.
• W2089702017 hasConceptScore W2089702017C167729594 @default.
• W2089702017 hasConceptScore W2089702017C177148314 @default.
• W2089702017 hasConceptScore W2089702017C18903297 @default.
• W2089702017 hasConceptScore W2089702017C199343813 @default.
• W2089702017 hasConceptScore W2089702017C199360897 @default.
• W2089702017 hasConceptScore W2089702017C2318724 @default.
• W2089702017 hasConceptScore W2089702017C2524010 @default.
• W2089702017 hasConceptScore W2089702017C2776214188 @default.
• W2089702017 hasConceptScore W2089702017C2777299769 @default.
• W2089702017 hasConceptScore W2089702017C2777686260 @default.
• W2089702017 hasConceptScore W2089702017C2780586882 @default.
• W2089702017 hasConceptScore W2089702017C33923547 @default.
• W2089702017 hasConceptScore W2089702017C3746660 @default.
• W2089702017 hasConceptScore W2089702017C41008148 @default.
• W2089702017 hasConceptScore W2089702017C62073222 @default.
• W2089702017 hasConceptScore W2089702017C6489637 @default.
• W2089702017 hasConceptScore W2089702017C65880906 @default.
• W2089702017 hasConceptScore W2089702017C71924100 @default.
• W2089702017 hasConceptScore W2089702017C86803240 @default.
• W2089702017 hasConceptScore W2089702017C93682546 @default.
• W2089702017 hasIssue "4" @default.
• W2089702017 hasLocation W20897020171 @default.
• W2089702017 hasOpenAccess W2089702017 @default.
• W2089702017 hasPrimaryLocation W20897020171 @default.
• W2089702017 hasRelatedWork W1492421865 @default.
• W2089702017 hasRelatedWork W1499822848 @default.
• W2089702017 hasRelatedWork W2009791150 @default.
• W2089702017 hasRelatedWork W2033813295 @default.
• W2089702017 hasRelatedWork W2058338325 @default.

• next