FRINK Linked Data Fragments server

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

• W1979462910 endingPage "290" @default.
• W1979462910 startingPage "253" @default.
• W1979462910 abstract "The paper provides an introduction to a natural-deduction-based set theory, NaDSet, and illustrates its use in programming semantics. The need for such a set theory for the development of programming semantics is motivated by contrasting the presentation of recursive definitions within first-order logic with their presentation within NaDSet. Within first-order logic such definitions are always incomplete in a very simple sense: Induction axioms must be added to the given definitions and extended with every new recursive definition. Within a set theory such as NaDSet, recursive definitions of sets are represented as terms in the theory and are complete, in the sense that all properties of the set can be derived from its definition. Such definitions not only have this advantage of completeness, but they also permit recursively defined sets to be members of the universe of discourse of the logic and thereby be shown to be members of other defined sets. The presentation of the semantics within NaDSet is not only fully formal, in contrast to the simply mathematical presentation of denotational semantics, but because NaDSet is formalized as a natural-deduction logic, computer-assisted proof constructions are plausible. A consistency proof for NaDSet is provided elsewhere. The resolution of the paradoxes provided by NaDSet is dependent upon replacing the naive comprehension axiom scheme of an inconsistent first-order set theory with natural-deduction rules for the introduction of abstraction terms into arguments. The abstraction terms admitted are a generalization of the abstraction terms usually admitted into set theory. In order to avoid a confusion of use and mention, the nominalist interpretation of the atomic formulas of the logic forces NaDSet to be second-order, although only a single kind of quantifier and variable is required." @default.
• W1979462910 created "2016-06-24" @default.
• W1979462910 creator A5002158554 @default.
• W1979462910 creator A5039589045 @default.
• W1979462910 date "1993-04-01" @default.
• W1979462910 modified "2023-09-23" @default.
• W1979462910 title "Logical foundations for programming semantics" @default.
• W1979462910 cites W100069164 @default.
• W1979462910 cites W138011893 @default.
• W1979462910 cites W1482532876 @default.
• W1979462910 cites W1483568252 @default.
• W1979462910 cites W1489809066 @default.
• W1979462910 cites W1512502927 @default.
• W1979462910 cites W1536217426 @default.
• W1979462910 cites W1542605821 @default.
• W1979462910 cites W1544564247 @default.
• W1979462910 cites W1579833673 @default.
• W1979462910 cites W1592287058 @default.
• W1979462910 cites W1812404936 @default.
• W1979462910 cites W1818561783 @default.
• W1979462910 cites W1964727056 @default.
• W1979462910 cites W1984820433 @default.
• W1979462910 cites W1991450942 @default.
• W1979462910 cites W2006111919 @default.
• W1979462910 cites W2022367308 @default.
• W1979462910 cites W2039977878 @default.
• W1979462910 cites W2041155569 @default.
• W1979462910 cites W2043543955 @default.
• W1979462910 cites W2062024564 @default.
• W1979462910 cites W2063484112 @default.
• W1979462910 cites W2074756472 @default.
• W1979462910 cites W2094015376 @default.
• W1979462910 cites W2110425399 @default.
• W1979462910 cites W2111706174 @default.
• W1979462910 cites W2143215796 @default.
• W1979462910 cites W2165373889 @default.
• W1979462910 cites W2403653109 @default.
• W1979462910 cites W2411734277 @default.
• W1979462910 cites W2469540789 @default.
• W1979462910 cites W2508663796 @default.
• W1979462910 cites W2914867504 @default.
• W1979462910 cites W3144368627 @default.
• W1979462910 cites W3146075203 @default.
• W1979462910 cites W50233445 @default.
• W1979462910 doi "https://doi.org/10.1016/0304-3975(93)90189-z" @default.
• W1979462910 hasPublicationYear "1993" @default.
• W1979462910 type Work @default.
• W1979462910 sameAs 1979462910 @default.
• W1979462910 citedByCount "4" @default.
• W1979462910 countsByYear W19794629102016 @default.
• W1979462910 crossrefType "journal-article" @default.
• W1979462910 hasAuthorship W1979462910A5002158554 @default.
• W1979462910 hasAuthorship W1979462910A5039589045 @default.
• W1979462910 hasConcept C108710211 @default.
• W1979462910 hasConcept C127001435 @default.
• W1979462910 hasConcept C153046414 @default.
• W1979462910 hasConcept C156325763 @default.
• W1979462910 hasConcept C167729594 @default.
• W1979462910 hasConcept C177264268 @default.
• W1979462910 hasConcept C184337299 @default.
• W1979462910 hasConcept C199360897 @default.
• W1979462910 hasConcept C207648694 @default.
• W1979462910 hasConcept C2318724 @default.
• W1979462910 hasConcept C2524010 @default.
• W1979462910 hasConcept C2780432614 @default.
• W1979462910 hasConcept C33923547 @default.
• W1979462910 hasConcept C41008148 @default.
• W1979462910 hasConcept C61151141 @default.
• W1979462910 hasConcept C80444323 @default.
• W1979462910 hasConcept C89497691 @default.
• W1979462910 hasConceptScore W1979462910C108710211 @default.
• W1979462910 hasConceptScore W1979462910C127001435 @default.
• W1979462910 hasConceptScore W1979462910C153046414 @default.
• W1979462910 hasConceptScore W1979462910C156325763 @default.
• W1979462910 hasConceptScore W1979462910C167729594 @default.
• W1979462910 hasConceptScore W1979462910C177264268 @default.
• W1979462910 hasConceptScore W1979462910C184337299 @default.
• W1979462910 hasConceptScore W1979462910C199360897 @default.
• W1979462910 hasConceptScore W1979462910C207648694 @default.
• W1979462910 hasConceptScore W1979462910C2318724 @default.
• W1979462910 hasConceptScore W1979462910C2524010 @default.
• W1979462910 hasConceptScore W1979462910C2780432614 @default.
• W1979462910 hasConceptScore W1979462910C33923547 @default.
• W1979462910 hasConceptScore W1979462910C41008148 @default.
• W1979462910 hasConceptScore W1979462910C61151141 @default.
• W1979462910 hasConceptScore W1979462910C80444323 @default.
• W1979462910 hasConceptScore W1979462910C89497691 @default.
• W1979462910 hasIssue "1-2" @default.
• W1979462910 hasLocation W19794629101 @default.
• W1979462910 hasOpenAccess W1979462910 @default.
• W1979462910 hasPrimaryLocation W19794629101 @default.
• W1979462910 hasRelatedWork W1504969661 @default.
• W1979462910 hasRelatedWork W1572426677 @default.
• W1979462910 hasRelatedWork W1626176828 @default.
• W1979462910 hasRelatedWork W1990759781 @default.
• W1979462910 hasRelatedWork W2043182143 @default.
• W1979462910 hasRelatedWork W2084921023 @default.
• W1979462910 hasRelatedWork W2113956592 @default.

• next