- The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.details
|
|
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.details
|
|
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.Göran Sundholm - 1994 - The Monist 77 (3):294-314.details
|
|
Analytic cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.details
|
|
Conservativeness and uniqueness.Peter Schroeder-Heister - 1985 - Theoria 51 (3):159-173.details
|
|
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.details
|
|
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.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
|
|
Display calculi and other modal calculi: a comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
Harmony, Purity, Simplicity and a “Seemingly Magical Fact”.Peter Milne - 2002 - The Monist 85 (4):498-534.details
|
|
Logic and meaning: The philosophical significance of the sequent calculus.Michael Kremer - 1988 - Mind 97 (385):50-72.details
|
|
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.details
|
|
Uniqueness, definability and interpolation.Kosta Došen & Peter Schroeder-Heister - 1988 - Journal of Symbolic Logic 53 (2):554-570.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.details
|
|
Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.details
|
|
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
Which Quantifiers Are Logical?Solomon Feferman - unknowndetails
|
|
The Connectives.Ian Humberstone - unknowndetails
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.details
|
|
Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.details
|
|
Simple Consequence Relations.Arnon Avron - unknowndetails
|
|
Conservativeness and uniqueness.Kosta Doen - 1985 - Theoria 51 (3):159.details
|
|