Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993368359> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1993368359 endingPage "305" @default.
- W1993368359 startingPage "296" @default.
- W1993368359 abstract "Abstract The paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony." @default.
- W1993368359 created "2016-06-24" @default.
- W1993368359 creator A5065931607 @default.
- W1993368359 date "2015-03-20" @default.
- W1993368359 modified "2023-10-18" @default.
- W1993368359 title "ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS" @default.
- W1993368359 cites W186947099 @default.
- W1993368359 cites W1971210176 @default.
- W1993368359 cites W1987839131 @default.
- W1993368359 cites W1987976586 @default.
- W1993368359 cites W1988347771 @default.
- W1993368359 cites W1988824860 @default.
- W1993368359 cites W1991936529 @default.
- W1993368359 cites W2029408547 @default.
- W1993368359 cites W2047063760 @default.
- W1993368359 cites W2060230835 @default.
- W1993368359 cites W2091225478 @default.
- W1993368359 cites W2103087496 @default.
- W1993368359 cites W2105703407 @default.
- W1993368359 cites W2112738015 @default.
- W1993368359 cites W2132561235 @default.
- W1993368359 cites W2160485914 @default.
- W1993368359 cites W71761585 @default.
- W1993368359 doi "https://doi.org/10.1017/s1755020315000027" @default.
- W1993368359 hasPublicationYear "2015" @default.
- W1993368359 type Work @default.
- W1993368359 sameAs 1993368359 @default.
- W1993368359 citedByCount "7" @default.
- W1993368359 countsByYear W19933683592014 @default.
- W1993368359 countsByYear W19933683592015 @default.
- W1993368359 countsByYear W19933683592016 @default.
- W1993368359 countsByYear W19933683592017 @default.
- W1993368359 crossrefType "journal-article" @default.
- W1993368359 hasAuthorship W1993368359A5065931607 @default.
- W1993368359 hasConcept C108710211 @default.
- W1993368359 hasConcept C134306372 @default.
- W1993368359 hasConcept C136119220 @default.
- W1993368359 hasConcept C156325763 @default.
- W1993368359 hasConcept C17231256 @default.
- W1993368359 hasConcept C184337299 @default.
- W1993368359 hasConcept C199343813 @default.
- W1993368359 hasConcept C199360897 @default.
- W1993368359 hasConcept C200065993 @default.
- W1993368359 hasConcept C202444582 @default.
- W1993368359 hasConcept C2318724 @default.
- W1993368359 hasConcept C2524010 @default.
- W1993368359 hasConcept C2777686260 @default.
- W1993368359 hasConcept C2778029271 @default.
- W1993368359 hasConcept C33923547 @default.
- W1993368359 hasConcept C41008148 @default.
- W1993368359 hasConcept C61151141 @default.
- W1993368359 hasConcept C71924100 @default.
- W1993368359 hasConceptScore W1993368359C108710211 @default.
- W1993368359 hasConceptScore W1993368359C134306372 @default.
- W1993368359 hasConceptScore W1993368359C136119220 @default.
- W1993368359 hasConceptScore W1993368359C156325763 @default.
- W1993368359 hasConceptScore W1993368359C17231256 @default.
- W1993368359 hasConceptScore W1993368359C184337299 @default.
- W1993368359 hasConceptScore W1993368359C199343813 @default.
- W1993368359 hasConceptScore W1993368359C199360897 @default.
- W1993368359 hasConceptScore W1993368359C200065993 @default.
- W1993368359 hasConceptScore W1993368359C202444582 @default.
- W1993368359 hasConceptScore W1993368359C2318724 @default.
- W1993368359 hasConceptScore W1993368359C2524010 @default.
- W1993368359 hasConceptScore W1993368359C2777686260 @default.
- W1993368359 hasConceptScore W1993368359C2778029271 @default.
- W1993368359 hasConceptScore W1993368359C33923547 @default.
- W1993368359 hasConceptScore W1993368359C41008148 @default.
- W1993368359 hasConceptScore W1993368359C61151141 @default.
- W1993368359 hasConceptScore W1993368359C71924100 @default.
- W1993368359 hasIssue "2" @default.
- W1993368359 hasLocation W19933683591 @default.
- W1993368359 hasOpenAccess W1993368359 @default.
- W1993368359 hasPrimaryLocation W19933683591 @default.
- W1993368359 hasRelatedWork W1565338810 @default.
- W1993368359 hasRelatedWork W1626176828 @default.
- W1993368359 hasRelatedWork W2059238947 @default.
- W1993368359 hasRelatedWork W2120554020 @default.
- W1993368359 hasRelatedWork W2227026850 @default.
- W1993368359 hasRelatedWork W2295163675 @default.
- W1993368359 hasRelatedWork W2575300064 @default.
- W1993368359 hasRelatedWork W3007870257 @default.
- W1993368359 hasRelatedWork W4232994977 @default.
- W1993368359 hasRelatedWork W66064892 @default.
- W1993368359 hasVolume "8" @default.
- W1993368359 isParatext "false" @default.
- W1993368359 isRetracted "false" @default.
- W1993368359 magId "1993368359" @default.
- W1993368359 workType "article" @default.