- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Subformula Property In Classical Natural Deduction Established Constructively
Review of Symbolic Logic 5 (4):710-719 (2012)
Abstract
A constructive proof is provided for the claim that classical first-order logic admits of a natural deduction formulation featuring the subformula property.Author's Profile
My notes
Similar books and articles
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.Michael Gabbay & Murdoch J. Gabbay - 2005 - In Gabbay Michael & Gabbay Murdoch J. (eds.), We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. pp. 701-null.
Intuitionistic Logic Freed of All Metarules.Giovanna Corsi & Gabriele Tassi - 2007 - Journal of Symbolic Logic 72 (4):1204 - 1218.
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Proofs of strong normalisation for second order classical natural deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
Subformula semantics for strong negation systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Analytics
Added to PP
2013-10-31
Downloads
27 (#594,564)
6 months
10 (#280,381)
2013-10-31
Downloads
27 (#594,564)
6 months
10 (#280,381)
Historical graph of downloads
Author's Profile
Citations of this work
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
References found in this work
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.
Arbitrary truth-value functions and natural deduction.Krister Segerberg - 1983 - Mathematical Logic Quarterly 29 (11):557-564.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c88c7cdf7-xtx2d uwo