Matches in SemOpenAlex for { <https://semopenalex.org/work/W434128151> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W434128151 abstract "In this first chapter the close connection between a natural text and a corresponding formalized statement in first-order logic will be demonstrated with a simple example. It comprises an informal description of well-known rules of inference (modus ponens, contraposition, and instantiation). As a first illustration the corresponding proof with the connection method is presented. Because of its introductory nature this chapter might well be skipped by alert readers. On the other hand, readers who have no background in mathematical logic at all, might feel a need for a broader introduction. They should consult [Ro3], or any elementary introduction to mathematical logic, such as [MW2, Ga2, vDa]. In [Ko3] they would find many more examples of practical interest." @default.
- W434128151 created "2016-06-24" @default.
- W434128151 creator A5025467738 @default.
- W434128151 date "1982-01-01" @default.
- W434128151 modified "2023-09-24" @default.
- W434128151 title "Natural and formal logic" @default.
- W434128151 doi "https://doi.org/10.1007/978-3-322-90100-2_1" @default.
- W434128151 hasPublicationYear "1982" @default.
- W434128151 type Work @default.
- W434128151 sameAs 434128151 @default.
- W434128151 citedByCount "1" @default.
- W434128151 crossrefType "book-chapter" @default.
- W434128151 hasAuthorship W434128151A5025467738 @default.
- W434128151 hasConcept C101874905 @default.
- W434128151 hasConcept C111472728 @default.
- W434128151 hasConcept C13355873 @default.
- W434128151 hasConcept C138885662 @default.
- W434128151 hasConcept C154945302 @default.
- W434128151 hasConcept C166957645 @default.
- W434128151 hasConcept C193885149 @default.
- W434128151 hasConcept C199343813 @default.
- W434128151 hasConcept C199360897 @default.
- W434128151 hasConcept C2524010 @default.
- W434128151 hasConcept C2776214188 @default.
- W434128151 hasConcept C2776608160 @default.
- W434128151 hasConcept C2777026412 @default.
- W434128151 hasConcept C2777686260 @default.
- W434128151 hasConcept C32241873 @default.
- W434128151 hasConcept C33923547 @default.
- W434128151 hasConcept C3746660 @default.
- W434128151 hasConcept C41008148 @default.
- W434128151 hasConcept C47884741 @default.
- W434128151 hasConcept C62073222 @default.
- W434128151 hasConcept C71924100 @default.
- W434128151 hasConcept C95457728 @default.
- W434128151 hasConceptScore W434128151C101874905 @default.
- W434128151 hasConceptScore W434128151C111472728 @default.
- W434128151 hasConceptScore W434128151C13355873 @default.
- W434128151 hasConceptScore W434128151C138885662 @default.
- W434128151 hasConceptScore W434128151C154945302 @default.
- W434128151 hasConceptScore W434128151C166957645 @default.
- W434128151 hasConceptScore W434128151C193885149 @default.
- W434128151 hasConceptScore W434128151C199343813 @default.
- W434128151 hasConceptScore W434128151C199360897 @default.
- W434128151 hasConceptScore W434128151C2524010 @default.
- W434128151 hasConceptScore W434128151C2776214188 @default.
- W434128151 hasConceptScore W434128151C2776608160 @default.
- W434128151 hasConceptScore W434128151C2777026412 @default.
- W434128151 hasConceptScore W434128151C2777686260 @default.
- W434128151 hasConceptScore W434128151C32241873 @default.
- W434128151 hasConceptScore W434128151C33923547 @default.
- W434128151 hasConceptScore W434128151C3746660 @default.
- W434128151 hasConceptScore W434128151C41008148 @default.
- W434128151 hasConceptScore W434128151C47884741 @default.
- W434128151 hasConceptScore W434128151C62073222 @default.
- W434128151 hasConceptScore W434128151C71924100 @default.
- W434128151 hasConceptScore W434128151C95457728 @default.
- W434128151 hasLocation W4341281511 @default.
- W434128151 hasOpenAccess W434128151 @default.
- W434128151 hasPrimaryLocation W4341281511 @default.
- W434128151 hasRelatedWork W1216305310 @default.
- W434128151 hasRelatedWork W1536183618 @default.
- W434128151 hasRelatedWork W156832481 @default.
- W434128151 hasRelatedWork W191599309 @default.
- W434128151 hasRelatedWork W2033866095 @default.
- W434128151 hasRelatedWork W2038967932 @default.
- W434128151 hasRelatedWork W2047763085 @default.
- W434128151 hasRelatedWork W207179461 @default.
- W434128151 hasRelatedWork W2074600869 @default.
- W434128151 hasRelatedWork W2141422781 @default.
- W434128151 hasRelatedWork W2250577977 @default.
- W434128151 hasRelatedWork W2259542891 @default.
- W434128151 hasRelatedWork W2278568278 @default.
- W434128151 hasRelatedWork W2403324922 @default.
- W434128151 hasRelatedWork W2412919879 @default.
- W434128151 hasRelatedWork W2537042999 @default.
- W434128151 hasRelatedWork W2989368767 @default.
- W434128151 hasRelatedWork W3041140947 @default.
- W434128151 hasRelatedWork W59484906 @default.
- W434128151 hasRelatedWork W819896021 @default.
- W434128151 isParatext "false" @default.
- W434128151 isRetracted "false" @default.
- W434128151 magId "434128151" @default.
- W434128151 workType "book-chapter" @default.