Matches in SemOpenAlex for { <https://semopenalex.org/work/W168043144> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W168043144 endingPage "414" @default.
- W168043144 startingPage "385" @default.
- W168043144 abstract "In his very first publication, Gentzen introduced the structural rules of thinning and cut on sequents. He did not consider rules for logical operators. Gentzen provided a most interesting ‘structural completeness proof’, which it is the concern of this study to explain and clarify. We provide an improved (because more detailed) proof of Gentzen’s completeness result. Then we reflect on the self-imposed limitations of this, Gentzen’s earliest sequent-setting, and explore how his approach might have been generalized, even in the absence of logical operators, so as to cover cases involving sequents with empty antecedent or succedent, and logical consequences of infinite sets of sequents." @default.
- W168043144 created "2016-06-24" @default.
- W168043144 creator A5051746616 @default.
- W168043144 date "2014-11-28" @default.
- W168043144 modified "2023-09-24" @default.
- W168043144 title "On Gentzen’s Structural Completeness Proof" @default.
- W168043144 cites W1989164074 @default.
- W168043144 cites W1997422462 @default.
- W168043144 cites W2047975379 @default.
- W168043144 cites W527459143 @default.
- W168043144 doi "https://doi.org/10.1007/978-3-319-11041-7_17" @default.
- W168043144 hasPublicationYear "2014" @default.
- W168043144 type Work @default.
- W168043144 sameAs 168043144 @default.
- W168043144 citedByCount "2" @default.
- W168043144 countsByYear W1680431442015 @default.
- W168043144 countsByYear W1680431442016 @default.
- W168043144 crossrefType "book-chapter" @default.
- W168043144 hasAuthorship W168043144A5051746616 @default.
- W168043144 hasConcept C111404639 @default.
- W168043144 hasConcept C118615104 @default.
- W168043144 hasConcept C134306372 @default.
- W168043144 hasConcept C136119220 @default.
- W168043144 hasConcept C138496976 @default.
- W168043144 hasConcept C15744967 @default.
- W168043144 hasConcept C17231256 @default.
- W168043144 hasConcept C199343813 @default.
- W168043144 hasConcept C202444582 @default.
- W168043144 hasConcept C2777686260 @default.
- W168043144 hasConcept C2781256819 @default.
- W168043144 hasConcept C33923547 @default.
- W168043144 hasConcept C62073222 @default.
- W168043144 hasConcept C6489637 @default.
- W168043144 hasConcept C71924100 @default.
- W168043144 hasConcept C89421646 @default.
- W168043144 hasConceptScore W168043144C111404639 @default.
- W168043144 hasConceptScore W168043144C118615104 @default.
- W168043144 hasConceptScore W168043144C134306372 @default.
- W168043144 hasConceptScore W168043144C136119220 @default.
- W168043144 hasConceptScore W168043144C138496976 @default.
- W168043144 hasConceptScore W168043144C15744967 @default.
- W168043144 hasConceptScore W168043144C17231256 @default.
- W168043144 hasConceptScore W168043144C199343813 @default.
- W168043144 hasConceptScore W168043144C202444582 @default.
- W168043144 hasConceptScore W168043144C2777686260 @default.
- W168043144 hasConceptScore W168043144C2781256819 @default.
- W168043144 hasConceptScore W168043144C33923547 @default.
- W168043144 hasConceptScore W168043144C62073222 @default.
- W168043144 hasConceptScore W168043144C6489637 @default.
- W168043144 hasConceptScore W168043144C71924100 @default.
- W168043144 hasConceptScore W168043144C89421646 @default.
- W168043144 hasLocation W1680431441 @default.
- W168043144 hasOpenAccess W168043144 @default.
- W168043144 hasPrimaryLocation W1680431441 @default.
- W168043144 hasRelatedWork W1529708838 @default.
- W168043144 hasRelatedWork W2056818739 @default.
- W168043144 hasRelatedWork W2072055459 @default.
- W168043144 hasRelatedWork W2110615828 @default.
- W168043144 hasRelatedWork W2125838990 @default.
- W168043144 hasRelatedWork W2153863776 @default.
- W168043144 hasRelatedWork W3111584381 @default.
- W168043144 hasRelatedWork W3112266304 @default.
- W168043144 hasRelatedWork W976566360 @default.
- W168043144 hasRelatedWork W14904993 @default.
- W168043144 isParatext "false" @default.
- W168043144 isRetracted "false" @default.
- W168043144 magId "168043144" @default.
- W168043144 workType "book-chapter" @default.