FRINK Linked Data Fragments server

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

• W2765429515 abstract "This article focuses on the technique of postponing the application of the reduction ad absurdum rule (raa) in classical natural deduction. First, it is shown how this technique is connected with two normalization strategies for classical logic: one given by Prawitz, and the other by Seldin. Secondly, a variant of Seldin's strategy for the postponement of raa is proposed, and the similarities with Prawitz's approach are investigated. In particular, it is shown that, as for Prawitz, it is possible to use this variant of Seldin's strategy in order to induce a negative translation from classical to intuitionistic and minimal logic, which is nothing but a variant of Kuroda's translation. Through this translation, Glivenko's theorem for intuitionistic and minimal logic is proven." @default.
• W2765429515 created "2017-11-10" @default.
• W2765429515 creator A5017629529 @default.
• W2765429515 creator A5046929882 @default.
• W2765429515 date "2017-10-24" @default.
• W2765429515 modified "2023-09-27" @default.
• W2765429515 title "Postponement of raa and Glivenko's theorem, revisited (extended version)" @default.
• W2765429515 cites W1483259227 @default.
• W2765429515 cites W1528233644 @default.
• W2765429515 cites W1557413548 @default.
• W2765429515 cites W1769931508 @default.
• W2765429515 cites W1985662836 @default.
• W2765429515 cites W1997053644 @default.
• W2765429515 cites W2007119026 @default.
• W2765429515 cites W2008035652 @default.
• W2765429515 cites W2021824907 @default.
• W2765429515 cites W2027211978 @default.
• W2765429515 cites W2032124026 @default.
• W2765429515 cites W2036407372 @default.
• W2765429515 cites W2059741001 @default.
• W2765429515 cites W2060230835 @default.
• W2765429515 cites W2085516474 @default.
• W2765429515 cites W2135641508 @default.
• W2765429515 cites W2242851078 @default.
• W2765429515 cites W2256771682 @default.
• W2765429515 cites W2483883535 @default.
• W2765429515 cites W292200004 @default.
• W2765429515 cites W595843881 @default.
• W2765429515 hasPublicationYear "2017" @default.
• W2765429515 type Work @default.
• W2765429515 sameAs 2765429515 @default.
• W2765429515 citedByCount "0" @default.
• W2765429515 crossrefType "posted-content" @default.
• W2765429515 hasAuthorship W2765429515A5017629529 @default.
• W2765429515 hasAuthorship W2765429515A5046929882 @default.
• W2765429515 hasConcept C10138342 @default.
• W2765429515 hasConcept C104317684 @default.
• W2765429515 hasConcept C105580179 @default.
• W2765429515 hasConcept C111472728 @default.
• W2765429515 hasConcept C118615104 @default.
• W2765429515 hasConcept C121649496 @default.
• W2765429515 hasConcept C136119220 @default.
• W2765429515 hasConcept C136886441 @default.
• W2765429515 hasConcept C138885662 @default.
• W2765429515 hasConcept C144024400 @default.
• W2765429515 hasConcept C149364088 @default.
• W2765429515 hasConcept C162324750 @default.
• W2765429515 hasConcept C178421362 @default.
• W2765429515 hasConcept C182306322 @default.
• W2765429515 hasConcept C182744844 @default.
• W2765429515 hasConcept C185592680 @default.
• W2765429515 hasConcept C19165224 @default.
• W2765429515 hasConcept C199343813 @default.
• W2765429515 hasConcept C202444582 @default.
• W2765429515 hasConcept C21547014 @default.
• W2765429515 hasConcept C2777686260 @default.
• W2765429515 hasConcept C2779466795 @default.
• W2765429515 hasConcept C28077239 @default.
• W2765429515 hasConcept C33923547 @default.
• W2765429515 hasConcept C55493867 @default.
• W2765429515 hasConcept C71924100 @default.
• W2765429515 hasConceptScore W2765429515C10138342 @default.
• W2765429515 hasConceptScore W2765429515C104317684 @default.
• W2765429515 hasConceptScore W2765429515C105580179 @default.
• W2765429515 hasConceptScore W2765429515C111472728 @default.
• W2765429515 hasConceptScore W2765429515C118615104 @default.
• W2765429515 hasConceptScore W2765429515C121649496 @default.
• W2765429515 hasConceptScore W2765429515C136119220 @default.
• W2765429515 hasConceptScore W2765429515C136886441 @default.
• W2765429515 hasConceptScore W2765429515C138885662 @default.
• W2765429515 hasConceptScore W2765429515C144024400 @default.
• W2765429515 hasConceptScore W2765429515C149364088 @default.
• W2765429515 hasConceptScore W2765429515C162324750 @default.
• W2765429515 hasConceptScore W2765429515C178421362 @default.
• W2765429515 hasConceptScore W2765429515C182306322 @default.
• W2765429515 hasConceptScore W2765429515C182744844 @default.
• W2765429515 hasConceptScore W2765429515C185592680 @default.
• W2765429515 hasConceptScore W2765429515C19165224 @default.
• W2765429515 hasConceptScore W2765429515C199343813 @default.
• W2765429515 hasConceptScore W2765429515C202444582 @default.
• W2765429515 hasConceptScore W2765429515C21547014 @default.
• W2765429515 hasConceptScore W2765429515C2777686260 @default.
• W2765429515 hasConceptScore W2765429515C2779466795 @default.
• W2765429515 hasConceptScore W2765429515C28077239 @default.
• W2765429515 hasConceptScore W2765429515C33923547 @default.
• W2765429515 hasConceptScore W2765429515C55493867 @default.
• W2765429515 hasConceptScore W2765429515C71924100 @default.
• W2765429515 hasLocation W27654295151 @default.
• W2765429515 hasOpenAccess W2765429515 @default.
• W2765429515 hasPrimaryLocation W27654295151 @default.
• W2765429515 hasRelatedWork W1228189651 @default.
• W2765429515 hasRelatedWork W1652201657 @default.
• W2765429515 hasRelatedWork W1688018310 @default.
• W2765429515 hasRelatedWork W192537542 @default.
• W2765429515 hasRelatedWork W1972458837 @default.
• W2765429515 hasRelatedWork W1984813408 @default.
• W2765429515 hasRelatedWork W2043626345 @default.
• W2765429515 hasRelatedWork W2087811213 @default.
• W2765429515 hasRelatedWork W2112970627 @default.
• W2765429515 hasRelatedWork W2222257017 @default.

• next