- 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
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
On flattening elimination rules.Grigory K. Olkhovikov & Peter Schroeder-Heister - 2014 - Review of Symbolic Logic 7 (1):60-72.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1960 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.details
|
|
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Kritik der reinen Vernunft.Immanuel Kant - 2020 - Walter de Gruyter GmbH & Co KG.details
|
|
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.details
|
|
Grundgesetze der Arithmetik.Gottlob Frege - 1893 - Hildesheim,: G.Olms.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Grundlagen der Mathematik.David Hilbert & Paul Bernays - 1968 - New York,: Springer. Edited by Paul Bernays.details
|
|
General Logic an Introductory Survey.Ralph Monroe Eaton - 1931 - New York, NY, USA: C. Scribner's Sons.details
|
|
Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.details
|
|
Probleme der mathematischen Logik.D. Hilbert - 1920 - In ¸ Iteewald1996. Clarendon Press. pp. 943--946.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
New foundations for logic.Karl Popper - 1947 - Mind 56 (223):193-235.details
|
|
Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
Infinity and the generalization of the concept of number.Harold Chapman Brown - 1908 - Journal of Philosophy, Psychology and Scientific Methods 5 (23):628-634.details
|
|
Some Remarks on Proof-Theoretic Semantics.Roy Dyckhoff - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.details
|
|
Consistency and Independence in Postulational Technique.Arnold F. Emch - 1936 - Journal of Symbolic Logic 1 (2):66-67.details
|
|
The Nature of Systems (Part I).Paul Weiss - 1929 - The Monist 39 (2):281-319.details
|
|
The Nature of Systems (Part II).Paul Weiss - 1929 - The Monist 39 (3):440-472.details
|
|
Sur la compatibilité Des axiomes: De l'arithmétique.Mario Pieri - 1906 - Revue de Métaphysique et de Morale 14 (2):196 - 207.details
|
|
Conservativeness and uniqueness.Peter Schroeder-Heister - 1985 - Theoria 51 (3):159-173.details
|
|
Intuition, consistency, and the excluded middle.Ernest Nagel - 1929 - Journal of Philosophy 26 (18):477-489.details
|
|