- 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
On flattening elimination rules
Review of Symbolic Logic 7 (1):60-72 (2014)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. [REVIEW]Peter Schroeder-Heister - 2011 - Journal of Philosophical Logic 40 (1):95 - 101.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
Which Structural Rules Admit Cut Elimination? An Algebraic Criterion.Kazushige Terui - 2007 - Journal of Symbolic Logic 72 (3):738 - 754.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Cut elimination for a calculus with context-dependent rules.Birgit Elbl - 2001 - Archive for Mathematical Logic 40 (3):167-188.
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
Introduction and Elimination Rules vs. Equivalence Rules in Systems of Formal Logic.Deborah C. Smith - 2001 - Teaching Philosophy 24 (4):379-390.
Analytics
Added to PP
2014-01-27
Downloads
33 (#473,861)
6 months
4 (#800,606)
2014-01-27
Downloads
33 (#473,861)
6 months
4 (#800,606)
Historical graph of downloads
Citations of this work
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.
References found in this work
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
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-7c76586df8-pp8v9 uwo