On flattening elimination rules

Review of Symbolic Logic 7 (1):60-72 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

P. SCHROEDER-HEISTER and K. DOŠEN "Substructural Logics". [REVIEW]A. Urquhart - 1995 - History and Philosophy of Logic 16 (1):138.
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.
The Validity of Inference and Argument.Dag Prawitz - 2024 - In Thomas Piecha & Kai F. Wehmeier, Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.

Analytics

Added to PP
2014-01-27

Downloads
41 (#573,490)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
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.

View all 10 references / Add more references