A variant of the double-negation translation
| Abstract | An efficient variant of the double-negation translation explains the relationship between Shoenfield’s and G¨odel’s versions of the Dialectica interpretation. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesKosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Maribel Romero & Chung-Hye Han (2004). On Negative Yes/No Questions. Linguistics and Philosophy 27 (5):609-658.
Henriëtte De Swart & Ivan A. Sag (2002). Negation and Negative Concord in Romance. Linguistics and Philosophy 25 (4):373 - 417.
Paolo Diego Bubbio (2009). Solger's Notion of Sacrifice as Double Negation. Heythrop Journal 50 (2):206-214.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,106 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
