Matches in SemOpenAlex for { <https://semopenalex.org/work/W56937029> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W56937029 abstract "This chapter contains a proof that the basic tableau rules are sound and complete with respect to generalized Henkin models. Soundness is by the “usual” argument, is straightforward, and is what I begin with. Completeness is something else altogether. For that I use the ideas developed simultaneously in [Tak67, Pra68], where they were applied to give a non-constructive proof of a cut eliminat ion theorem." @default.
- W56937029 created "2016-06-24" @default.
- W56937029 creator A5086117892 @default.
- W56937029 date "2002-01-01" @default.
- W56937029 modified "2023-09-26" @default.
- W56937029 title "Soundness And Completeness" @default.
- W56937029 doi "https://doi.org/10.1007/978-94-010-0411-4_4" @default.
- W56937029 hasPublicationYear "2002" @default.
- W56937029 type Work @default.
- W56937029 sameAs 56937029 @default.
- W56937029 citedByCount "0" @default.
- W56937029 crossrefType "book-chapter" @default.
- W56937029 hasAuthorship W56937029A5086117892 @default.
- W56937029 hasConcept C118615104 @default.
- W56937029 hasConcept C126322002 @default.
- W56937029 hasConcept C134306372 @default.
- W56937029 hasConcept C17231256 @default.
- W56937029 hasConcept C199343813 @default.
- W56937029 hasConcept C199360897 @default.
- W56937029 hasConcept C202854965 @default.
- W56937029 hasConcept C2777686260 @default.
- W56937029 hasConcept C2778701210 @default.
- W56937029 hasConcept C33923547 @default.
- W56937029 hasConcept C39920170 @default.
- W56937029 hasConcept C41008148 @default.
- W56937029 hasConcept C71924100 @default.
- W56937029 hasConcept C98045186 @default.
- W56937029 hasConcept C98184364 @default.
- W56937029 hasConceptScore W56937029C118615104 @default.
- W56937029 hasConceptScore W56937029C126322002 @default.
- W56937029 hasConceptScore W56937029C134306372 @default.
- W56937029 hasConceptScore W56937029C17231256 @default.
- W56937029 hasConceptScore W56937029C199343813 @default.
- W56937029 hasConceptScore W56937029C199360897 @default.
- W56937029 hasConceptScore W56937029C202854965 @default.
- W56937029 hasConceptScore W56937029C2777686260 @default.
- W56937029 hasConceptScore W56937029C2778701210 @default.
- W56937029 hasConceptScore W56937029C33923547 @default.
- W56937029 hasConceptScore W56937029C39920170 @default.
- W56937029 hasConceptScore W56937029C41008148 @default.
- W56937029 hasConceptScore W56937029C71924100 @default.
- W56937029 hasConceptScore W56937029C98045186 @default.
- W56937029 hasConceptScore W56937029C98184364 @default.
- W56937029 hasLocation W569370291 @default.
- W56937029 hasOpenAccess W56937029 @default.
- W56937029 hasPrimaryLocation W569370291 @default.
- W56937029 hasRelatedWork W1503170941 @default.
- W56937029 hasRelatedWork W1556783749 @default.
- W56937029 hasRelatedWork W1557413548 @default.
- W56937029 hasRelatedWork W1820941065 @default.
- W56937029 hasRelatedWork W1854122471 @default.
- W56937029 hasRelatedWork W187835144 @default.
- W56937029 hasRelatedWork W2031855072 @default.
- W56937029 hasRelatedWork W2099785256 @default.
- W56937029 hasRelatedWork W2107153842 @default.
- W56937029 hasRelatedWork W2162770039 @default.
- W56937029 hasRelatedWork W231030584 @default.
- W56937029 hasRelatedWork W2788766570 @default.
- W56937029 hasRelatedWork W2909229158 @default.
- W56937029 hasRelatedWork W2921508023 @default.
- W56937029 hasRelatedWork W2950379217 @default.
- W56937029 hasRelatedWork W3168779796 @default.
- W56937029 hasRelatedWork W321028994 @default.
- W56937029 hasRelatedWork W93330227 @default.
- W56937029 hasRelatedWork W165422478 @default.
- W56937029 hasRelatedWork W2519791282 @default.
- W56937029 isParatext "false" @default.
- W56937029 isRetracted "false" @default.
- W56937029 magId "56937029" @default.
- W56937029 workType "book-chapter" @default.