FRINK Linked Data Fragments server

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

• W2783193036 endingPage "38" @default.
• W2783193036 startingPage "23" @default.
• W2783193036 abstract "This article connects certain writings of Raymond Smullyan on logic and formal systems with current research on constructive type theory. It also considers aspects of teaching logic to computer science students. Those students require logic in order to precisely define programming tasks and demonstrate that programs meet logical specifications of these tasks. Smullyan’s book First-Order Logic has been used for many years to teach logic to computer science students at Cornell. This article includes a brief account of an elegant result from this book. It is based on an extension of a fourteen page technical report that analyzes two pages on Boolean valuations in chapter one of his classic book. The analysis and results are formulated in a formal system of type theory and proved using the Nuprl proof assistant. The article also briefly considers the role of partial types, showing how they provide a new way to prove unsolvability results, another topic on which Smullyan has written with remarkable clarity. Partial types also provide a simple and faithful semantics for Hoare’s partial correctness logic, widely used to reason about programs and taught in computer science as an important applied logic. They also make it possible to state a clean rule for defined functions in Hoare logic." @default.
• W2783193036 created "2018-01-26" @default.
• W2783193036 creator A5051801130 @default.
• W2783193036 date "2017-01-01" @default.
• W2783193036 modified "2023-09-27" @default.
• W2783193036 title "Formal Systems, Logics, and Programs" @default.
• W2783193036 cites W122982323 @default.
• W2783193036 cites W124657849 @default.
• W2783193036 cites W1553511155 @default.
• W2783193036 cites W1558175043 @default.
• W2783193036 cites W1601195943 @default.
• W2783193036 cites W1768814311 @default.
• W2783193036 cites W1977189131 @default.
• W2783193036 cites W1981303668 @default.
• W2783193036 cites W1999807931 @default.
• W2783193036 cites W2048536148 @default.
• W2783193036 cites W2071964540 @default.
• W2783193036 cites W2088982416 @default.
• W2783193036 cites W2092169546 @default.
• W2783193036 cites W2103838550 @default.
• W2783193036 cites W2120905340 @default.
• W2783193036 cites W2124798629 @default.
• W2783193036 cites W2129695855 @default.
• W2783193036 cites W2168341937 @default.
• W2783193036 cites W3104826616 @default.
• W2783193036 cites W4211265583 @default.
• W2783193036 cites W4233253115 @default.
• W2783193036 cites W4243294044 @default.
• W2783193036 cites W4252547602 @default.
• W2783193036 cites W52272913 @default.
• W2783193036 cites W77027564 @default.
• W2783193036 doi "https://doi.org/10.1007/978-3-319-68732-2_2" @default.
• W2783193036 hasPublicationYear "2017" @default.
• W2783193036 type Work @default.
• W2783193036 sameAs 2783193036 @default.
• W2783193036 citedByCount "1" @default.
• W2783193036 countsByYear W27831930362019 @default.
• W2783193036 crossrefType "book-chapter" @default.
• W2783193036 hasAuthorship W2783193036A5051801130 @default.
• W2783193036 hasConcept C101874905 @default.
• W2783193036 hasConcept C102993220 @default.
• W2783193036 hasConcept C104949639 @default.
• W2783193036 hasConcept C108710211 @default.
• W2783193036 hasConcept C128838566 @default.
• W2783193036 hasConcept C156325763 @default.
• W2783193036 hasConcept C169896238 @default.
• W2783193036 hasConcept C184337299 @default.
• W2783193036 hasConcept C185592680 @default.
• W2783193036 hasConcept C18903297 @default.
• W2783193036 hasConcept C199360897 @default.
• W2783193036 hasConcept C203265346 @default.
• W2783193036 hasConcept C207648694 @default.
• W2783193036 hasConcept C2524010 @default.
• W2783193036 hasConcept C2777146004 @default.
• W2783193036 hasConcept C2777299769 @default.
• W2783193036 hasConcept C33923547 @default.
• W2783193036 hasConcept C41008148 @default.
• W2783193036 hasConcept C55439883 @default.
• W2783193036 hasConcept C55493867 @default.
• W2783193036 hasConcept C58041814 @default.
• W2783193036 hasConcept C80444323 @default.
• W2783193036 hasConcept C86803240 @default.
• W2783193036 hasConcept C93682546 @default.
• W2783193036 hasConceptScore W2783193036C101874905 @default.
• W2783193036 hasConceptScore W2783193036C102993220 @default.
• W2783193036 hasConceptScore W2783193036C104949639 @default.
• W2783193036 hasConceptScore W2783193036C108710211 @default.
• W2783193036 hasConceptScore W2783193036C128838566 @default.
• W2783193036 hasConceptScore W2783193036C156325763 @default.
• W2783193036 hasConceptScore W2783193036C169896238 @default.
• W2783193036 hasConceptScore W2783193036C184337299 @default.
• W2783193036 hasConceptScore W2783193036C185592680 @default.
• W2783193036 hasConceptScore W2783193036C18903297 @default.
• W2783193036 hasConceptScore W2783193036C199360897 @default.
• W2783193036 hasConceptScore W2783193036C203265346 @default.
• W2783193036 hasConceptScore W2783193036C207648694 @default.
• W2783193036 hasConceptScore W2783193036C2524010 @default.
• W2783193036 hasConceptScore W2783193036C2777146004 @default.
• W2783193036 hasConceptScore W2783193036C2777299769 @default.
• W2783193036 hasConceptScore W2783193036C33923547 @default.
• W2783193036 hasConceptScore W2783193036C41008148 @default.
• W2783193036 hasConceptScore W2783193036C55439883 @default.
• W2783193036 hasConceptScore W2783193036C55493867 @default.
• W2783193036 hasConceptScore W2783193036C58041814 @default.
• W2783193036 hasConceptScore W2783193036C80444323 @default.
• W2783193036 hasConceptScore W2783193036C86803240 @default.
• W2783193036 hasConceptScore W2783193036C93682546 @default.
• W2783193036 hasLocation W27831930361 @default.
• W2783193036 hasOpenAccess W2783193036 @default.
• W2783193036 hasPrimaryLocation W27831930361 @default.
• W2783193036 hasRelatedWork W1034242088 @default.
• W2783193036 hasRelatedWork W1505766650 @default.
• W2783193036 hasRelatedWork W1511826042 @default.
• W2783193036 hasRelatedWork W1528689085 @default.
• W2783193036 hasRelatedWork W1590764141 @default.
• W2783193036 hasRelatedWork W1856797796 @default.
• W2783193036 hasRelatedWork W2020060548 @default.
• W2783193036 hasRelatedWork W2038758086 @default.

• next