Matches in SemOpenAlex for { <https://semopenalex.org/work/W1979845904> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1979845904 endingPage "236" @default.
- W1979845904 startingPage "219" @default.
- W1979845904 abstract "In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level." @default.
- W1979845904 created "2016-06-24" @default.
- W1979845904 creator A5029163891 @default.
- W1979845904 date "2010-12-15" @default.
- W1979845904 modified "2023-10-18" @default.
- W1979845904 title "RULES FOR SUBATOMIC DERIVATION" @default.
- W1979845904 cites W1557413548 @default.
- W1979845904 cites W1987976586 @default.
- W1979845904 cites W1988347771 @default.
- W1979845904 cites W2021134003 @default.
- W1979845904 cites W2039977878 @default.
- W1979845904 cites W2047495800 @default.
- W1979845904 cites W2086460748 @default.
- W1979845904 cites W2132717091 @default.
- W1979845904 cites W2326418800 @default.
- W1979845904 cites W3023653957 @default.
- W1979845904 cites W4251206353 @default.
- W1979845904 cites W4254993214 @default.
- W1979845904 doi "https://doi.org/10.1017/s175502031000033x" @default.
- W1979845904 hasPublicationYear "2010" @default.
- W1979845904 type Work @default.
- W1979845904 sameAs 1979845904 @default.
- W1979845904 citedByCount "21" @default.
- W1979845904 countsByYear W19798459042012 @default.
- W1979845904 countsByYear W19798459042013 @default.
- W1979845904 countsByYear W19798459042014 @default.
- W1979845904 countsByYear W19798459042015 @default.
- W1979845904 countsByYear W19798459042016 @default.
- W1979845904 countsByYear W19798459042018 @default.
- W1979845904 countsByYear W19798459042019 @default.
- W1979845904 countsByYear W19798459042021 @default.
- W1979845904 countsByYear W19798459042023 @default.
- W1979845904 crossrefType "journal-article" @default.
- W1979845904 hasAuthorship W1979845904A5029163891 @default.
- W1979845904 hasConcept C102999125 @default.
- W1979845904 hasConcept C111472728 @default.
- W1979845904 hasConcept C121332964 @default.
- W1979845904 hasConcept C138885662 @default.
- W1979845904 hasConcept C154945302 @default.
- W1979845904 hasConcept C177264268 @default.
- W1979845904 hasConcept C184337299 @default.
- W1979845904 hasConcept C199360897 @default.
- W1979845904 hasConcept C2777530160 @default.
- W1979845904 hasConcept C2780586882 @default.
- W1979845904 hasConcept C2780876879 @default.
- W1979845904 hasConcept C28294206 @default.
- W1979845904 hasConcept C33923547 @default.
- W1979845904 hasConcept C34849589 @default.
- W1979845904 hasConcept C41008148 @default.
- W1979845904 hasConcept C62520636 @default.
- W1979845904 hasConceptScore W1979845904C102999125 @default.
- W1979845904 hasConceptScore W1979845904C111472728 @default.
- W1979845904 hasConceptScore W1979845904C121332964 @default.
- W1979845904 hasConceptScore W1979845904C138885662 @default.
- W1979845904 hasConceptScore W1979845904C154945302 @default.
- W1979845904 hasConceptScore W1979845904C177264268 @default.
- W1979845904 hasConceptScore W1979845904C184337299 @default.
- W1979845904 hasConceptScore W1979845904C199360897 @default.
- W1979845904 hasConceptScore W1979845904C2777530160 @default.
- W1979845904 hasConceptScore W1979845904C2780586882 @default.
- W1979845904 hasConceptScore W1979845904C2780876879 @default.
- W1979845904 hasConceptScore W1979845904C28294206 @default.
- W1979845904 hasConceptScore W1979845904C33923547 @default.
- W1979845904 hasConceptScore W1979845904C34849589 @default.
- W1979845904 hasConceptScore W1979845904C41008148 @default.
- W1979845904 hasConceptScore W1979845904C62520636 @default.
- W1979845904 hasIssue "2" @default.
- W1979845904 hasLocation W19798459041 @default.
- W1979845904 hasOpenAccess W1979845904 @default.
- W1979845904 hasPrimaryLocation W19798459041 @default.
- W1979845904 hasRelatedWork W1971791118 @default.
- W1979845904 hasRelatedWork W1974948097 @default.
- W1979845904 hasRelatedWork W2034213098 @default.
- W1979845904 hasRelatedWork W2348188267 @default.
- W1979845904 hasRelatedWork W2354078889 @default.
- W1979845904 hasRelatedWork W2500435238 @default.
- W1979845904 hasRelatedWork W3199110556 @default.
- W1979845904 hasRelatedWork W4328050403 @default.
- W1979845904 hasRelatedWork W4361767392 @default.
- W1979845904 hasRelatedWork W2102073455 @default.
- W1979845904 hasVolume "4" @default.
- W1979845904 isParatext "false" @default.
- W1979845904 isRetracted "false" @default.
- W1979845904 magId "1979845904" @default.
- W1979845904 workType "article" @default.