FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2272518861> ?p ?o ?g. }

• W2272518861 endingPage "25" @default.
• W2272518861 startingPage "5" @default.
• W2272518861 abstract "Proof-theoretic semantics explains meaning in terms of proofs. Two different concepts of proof are in question here. One has its roots in Heyting’s explanation of a mathematical proposition as the expression of the intention of a construction, and the other in Gentzen’s ideas about how the rules of Natural Deduction are justified in terms of the meaning of sentences. These two approaches to meaning give rise to two different concepts of proof, which have been developed much further, but the relation between them, the topic of this paper, has not been much studied so far. The recursive definition of proof given by the so-called BHK-interpretation is here used as an explication of Heyting’s idea. Gentzen’s approach has been developed as ideas about what it is that makes a piece of reasoning valid. It has resulted in a notion of valid argument, of which there are different variants. The differences turn out to be crucial when comparing valid arguments and BHK-proofs. It will be seen that for one variant, the existence of a valid argument can be proved to be extensionally equivalent to the existence of a BHK-proof, while for other variants, attempts at similar proofs break down at different points." @default.
• W2272518861 created "2016-06-24" @default.
• W2272518861 creator A5040706116 @default.
• W2272518861 date "2015-10-25" @default.
• W2272518861 modified "2023-09-25" @default.
• W2272518861 title "On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning" @default.
• W2272518861 cites W1196275239 @default.
• W2272518861 cites W1556018465 @default.
• W2272518861 cites W1557413548 @default.
• W2272518861 cites W1783953041 @default.
• W2272518861 cites W1974909295 @default.
• W2272518861 cites W1987976586 @default.
• W2272518861 cites W2009862785 @default.
• W2272518861 cites W2037693339 @default.
• W2272518861 cites W2047495800 @default.
• W2272518861 cites W2071514253 @default.
• W2272518861 cites W2550522674 @default.
• W2272518861 cites W4238292764 @default.
• W2272518861 cites W54230469 @default.
• W2272518861 cites W976547571 @default.
• W2272518861 doi "https://doi.org/10.1007/978-3-319-22686-6_2" @default.
• W2272518861 hasPublicationYear "2015" @default.
• W2272518861 type Work @default.
• W2272518861 sameAs 2272518861 @default.
• W2272518861 citedByCount "5" @default.
• W2272518861 countsByYear W22725188612016 @default.
• W2272518861 countsByYear W22725188612017 @default.
• W2272518861 countsByYear W22725188612019 @default.
• W2272518861 countsByYear W22725188612022 @default.
• W2272518861 crossrefType "book-chapter" @default.
• W2272518861 hasAuthorship W2272518861A5040706116 @default.
• W2272518861 hasBestOaLocation W22725188611 @default.
• W2272518861 hasConcept C108710211 @default.
• W2272518861 hasConcept C111472728 @default.
• W2272518861 hasConcept C118615104 @default.
• W2272518861 hasConcept C138885662 @default.
• W2272518861 hasConcept C153107464 @default.
• W2272518861 hasConcept C156325763 @default.
• W2272518861 hasConcept C184337299 @default.
• W2272518861 hasConcept C185592680 @default.
• W2272518861 hasConcept C199343813 @default.
• W2272518861 hasConcept C199360897 @default.
• W2272518861 hasConcept C200065993 @default.
• W2272518861 hasConcept C2524010 @default.
• W2272518861 hasConcept C25343380 @default.
• W2272518861 hasConcept C2777152325 @default.
• W2272518861 hasConcept C2777686260 @default.
• W2272518861 hasConcept C2778029271 @default.
• W2272518861 hasConcept C2780876879 @default.
• W2272518861 hasConcept C2781374135 @default.
• W2272518861 hasConcept C33923547 @default.
• W2272518861 hasConcept C41008148 @default.
• W2272518861 hasConcept C41895202 @default.
• W2272518861 hasConcept C527412718 @default.
• W2272518861 hasConcept C55493867 @default.
• W2272518861 hasConcept C61151141 @default.
• W2272518861 hasConcept C62073222 @default.
• W2272518861 hasConcept C71924100 @default.
• W2272518861 hasConcept C77088390 @default.
• W2272518861 hasConcept C98184364 @default.
• W2272518861 hasConceptScore W2272518861C108710211 @default.
• W2272518861 hasConceptScore W2272518861C111472728 @default.
• W2272518861 hasConceptScore W2272518861C118615104 @default.
• W2272518861 hasConceptScore W2272518861C138885662 @default.
• W2272518861 hasConceptScore W2272518861C153107464 @default.
• W2272518861 hasConceptScore W2272518861C156325763 @default.
• W2272518861 hasConceptScore W2272518861C184337299 @default.
• W2272518861 hasConceptScore W2272518861C185592680 @default.
• W2272518861 hasConceptScore W2272518861C199343813 @default.
• W2272518861 hasConceptScore W2272518861C199360897 @default.
• W2272518861 hasConceptScore W2272518861C200065993 @default.
• W2272518861 hasConceptScore W2272518861C2524010 @default.
• W2272518861 hasConceptScore W2272518861C25343380 @default.
• W2272518861 hasConceptScore W2272518861C2777152325 @default.
• W2272518861 hasConceptScore W2272518861C2777686260 @default.
• W2272518861 hasConceptScore W2272518861C2778029271 @default.
• W2272518861 hasConceptScore W2272518861C2780876879 @default.
• W2272518861 hasConceptScore W2272518861C2781374135 @default.
• W2272518861 hasConceptScore W2272518861C33923547 @default.
• W2272518861 hasConceptScore W2272518861C41008148 @default.
• W2272518861 hasConceptScore W2272518861C41895202 @default.
• W2272518861 hasConceptScore W2272518861C527412718 @default.
• W2272518861 hasConceptScore W2272518861C55493867 @default.
• W2272518861 hasConceptScore W2272518861C61151141 @default.
• W2272518861 hasConceptScore W2272518861C62073222 @default.
• W2272518861 hasConceptScore W2272518861C71924100 @default.
• W2272518861 hasConceptScore W2272518861C77088390 @default.
• W2272518861 hasConceptScore W2272518861C98184364 @default.
• W2272518861 hasLocation W22725188611 @default.
• W2272518861 hasOpenAccess W2272518861 @default.
• W2272518861 hasPrimaryLocation W22725188611 @default.
• W2272518861 hasRelatedWork W1990110528 @default.
• W2272518861 hasRelatedWork W2367046743 @default.
• W2272518861 hasRelatedWork W2373778529 @default.
• W2272518861 hasRelatedWork W3018530324 @default.
• W2272518861 hasRelatedWork W3039263931 @default.
• W2272518861 hasRelatedWork W3094546236 @default.
• W2272518861 hasRelatedWork W3188474513 @default.

• next