Graduate studies at Western
Studia Logica 80 (2-3):195 - 234 (2005)
|Abstract||This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second question asks about the existence of an axiom system for classical propositional calculus whose use, for theorems with a conclusion free of double negation, guarantees the existence of a double-negation-free proof. After giving conditions that answer the first question, we answer the second question by focusing on the Lukasiewicz three-axiom system. We then extend our studies to infinite-valued sentential calculus and to intuitionistic logic and generalize the notion of being double-negation free. The double-negation proofs of interest rely exclusively on the inference rule condensed detachment, a rule that combines modus ponens with an appropriately general rule of substitution. The automated reasoning program Otter played an indispensable role in this study|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Henriëtte De Swart & Ivan A. Sag (2002). Negation and Negative Concord in Romance. Linguistics and Philosophy 25 (4):373 - 417.
Maribel Romero & Chung-Hye Han (2004). On Negative Yes/No Questions. Linguistics and Philosophy 27 (5):609-658.
Steve Awodey & Jonas Eliasson (2004). Ultrasheaves and Double Negation. Notre Dame Journal of Formal Logic 45 (4):235-245.
Branden Fitelson & Larry Wos (2001). Finding Missing Proofs with Automated Reasoning. Studia Logica 68 (3):329-356.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Paolo Diego Bubbio (2009). Solger's Notion of Sacrifice as Double Negation. Heythrop Journal 50 (2):206-214.
Added to index2009-01-28
Total downloads7 ( #142,523 of 739,444 )
Recent downloads (6 months)3 ( #26,464 of 739,444 )
How can I increase my downloads?