Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244520143> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4244520143 endingPage "70" @default.
- W4244520143 startingPage "45" @default.
- W4244520143 abstract "In Chapter 2, we introduced the concept of logical consequence. We call a formula A a logical consequence of a formula set Γ if, in every model that satisfies Γ, A is also satisfied. The definition of logical consequence refers to the logical semantics of formulas. Essentially, it means that, however we interpret the terms in the formulas, the truth of A always follows the truth of Γ. This is consistent with our normal understanding of the concept of logical consequence." @default.
- W4244520143 created "2022-05-12" @default.
- W4244520143 creator A5000432967 @default.
- W4244520143 date "2010-01-01" @default.
- W4244520143 modified "2023-10-16" @default.
- W4244520143 title "Formal Inference Systems" @default.
- W4244520143 doi "https://doi.org/10.1007/978-3-7643-9977-1_3" @default.
- W4244520143 hasPublicationYear "2010" @default.
- W4244520143 type Work @default.
- W4244520143 citedByCount "0" @default.
- W4244520143 crossrefType "book-chapter" @default.
- W4244520143 hasAuthorship W4244520143A5000432967 @default.
- W4244520143 hasConcept C111472728 @default.
- W4244520143 hasConcept C11413529 @default.
- W4244520143 hasConcept C118615104 @default.
- W4244520143 hasConcept C134752490 @default.
- W4244520143 hasConcept C138885662 @default.
- W4244520143 hasConcept C154945302 @default.
- W4244520143 hasConcept C156325763 @default.
- W4244520143 hasConcept C177264268 @default.
- W4244520143 hasConcept C184337299 @default.
- W4244520143 hasConcept C194989596 @default.
- W4244520143 hasConcept C199343813 @default.
- W4244520143 hasConcept C199360897 @default.
- W4244520143 hasConcept C200065993 @default.
- W4244520143 hasConcept C20693621 @default.
- W4244520143 hasConcept C21847791 @default.
- W4244520143 hasConcept C2776214188 @default.
- W4244520143 hasConcept C2777686260 @default.
- W4244520143 hasConcept C33923547 @default.
- W4244520143 hasConcept C3746660 @default.
- W4244520143 hasConcept C37754750 @default.
- W4244520143 hasConcept C41008148 @default.
- W4244520143 hasConcept C46274116 @default.
- W4244520143 hasConcept C56949724 @default.
- W4244520143 hasConcept C61151141 @default.
- W4244520143 hasConcept C71924100 @default.
- W4244520143 hasConcept C74727942 @default.
- W4244520143 hasConcept C74992188 @default.
- W4244520143 hasConcept C80444323 @default.
- W4244520143 hasConceptScore W4244520143C111472728 @default.
- W4244520143 hasConceptScore W4244520143C11413529 @default.
- W4244520143 hasConceptScore W4244520143C118615104 @default.
- W4244520143 hasConceptScore W4244520143C134752490 @default.
- W4244520143 hasConceptScore W4244520143C138885662 @default.
- W4244520143 hasConceptScore W4244520143C154945302 @default.
- W4244520143 hasConceptScore W4244520143C156325763 @default.
- W4244520143 hasConceptScore W4244520143C177264268 @default.
- W4244520143 hasConceptScore W4244520143C184337299 @default.
- W4244520143 hasConceptScore W4244520143C194989596 @default.
- W4244520143 hasConceptScore W4244520143C199343813 @default.
- W4244520143 hasConceptScore W4244520143C199360897 @default.
- W4244520143 hasConceptScore W4244520143C200065993 @default.
- W4244520143 hasConceptScore W4244520143C20693621 @default.
- W4244520143 hasConceptScore W4244520143C21847791 @default.
- W4244520143 hasConceptScore W4244520143C2776214188 @default.
- W4244520143 hasConceptScore W4244520143C2777686260 @default.
- W4244520143 hasConceptScore W4244520143C33923547 @default.
- W4244520143 hasConceptScore W4244520143C3746660 @default.
- W4244520143 hasConceptScore W4244520143C37754750 @default.
- W4244520143 hasConceptScore W4244520143C41008148 @default.
- W4244520143 hasConceptScore W4244520143C46274116 @default.
- W4244520143 hasConceptScore W4244520143C56949724 @default.
- W4244520143 hasConceptScore W4244520143C61151141 @default.
- W4244520143 hasConceptScore W4244520143C71924100 @default.
- W4244520143 hasConceptScore W4244520143C74727942 @default.
- W4244520143 hasConceptScore W4244520143C74992188 @default.
- W4244520143 hasConceptScore W4244520143C80444323 @default.
- W4244520143 hasLocation W42445201431 @default.
- W4244520143 hasOpenAccess W4244520143 @default.
- W4244520143 hasPrimaryLocation W42445201431 @default.
- W4244520143 hasRelatedWork W2105280133 @default.
- W4244520143 hasRelatedWork W2111137949 @default.
- W4244520143 hasRelatedWork W2361375926 @default.
- W4244520143 hasRelatedWork W2376788341 @default.
- W4244520143 hasRelatedWork W2380533324 @default.
- W4244520143 hasRelatedWork W3149691445 @default.
- W4244520143 hasRelatedWork W4214732606 @default.
- W4244520143 hasRelatedWork W4244520143 @default.
- W4244520143 hasRelatedWork W4313642989 @default.
- W4244520143 hasRelatedWork W4366544912 @default.
- W4244520143 isParatext "false" @default.
- W4244520143 isRetracted "false" @default.
- W4244520143 workType "book-chapter" @default.