- The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.details
|
|
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.details
|
|
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
On the Equivalence Conjecture for Proof-Theoretic Harmony.Florian Steinberger - 2013 - Notre Dame Journal of Formal Logic 54 (1):79-86.details
|
|
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.Peter Schroeder-Heister - 2014 - Studia Logica 102 (6):1185-1216.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Gentzen's proof of normalization for natural deduction.Jan Platvono - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.details
|
|
Gentzen's proof of normalization for natural deduction.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.details
|
|
General-Elimination Stability.Bruno Jacinto & Stephen Read - 2017 - Studia Logica 105 (2):361-405.details
|
|
On harmony and permuting conversions.Nissim Francez - 2017 - Journal of Applied Logic 21:14-23.details
|
|
Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.details
|
|
Inferentialism, logicism, harmony, and a counterpoint.Neil Tennant - manuscriptdetails
|
|
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.details
|
|
Dummett on Frege. [REVIEW]Leslie Stevenson - 1974 - Philosophical Quarterly 24 (97):349-359.details
|
|
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.details
|
|