- On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), What is a Theory of Meaning? Oxford: Clarendon Press.details
|
|
Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
What the tortoise said to Achilles.Lewis Carroll - 1895 - Mind 4 (14):278-280.details
|
|
The Concepts of Proof and Ground.Dag Prawitz - 2019 - In Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.), Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer Verlag.details
|
|
The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Pro Universitaria. pp. 11-36.details
|
|
Intuitionism, an Introduction by A. Heyting. [REVIEW]Andrzej Grzegorczyk - 1958 - Studia Logica 7:277-278.details
|
|
Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants.Gustavo Fernández Díez - 2000 - Journal of Philosophical Logic 29 (4):409-424.details
|
|
What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.details
|
|
Aristotle's Prior and Posterior Analytics.W. D. Ross - 1949 - Philosophy 25 (95):380-382.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.details
|
|
Cogency and Context.Cesare Cozzo - 2019 - Topoi 38 (3):505-516.details
|
|
Aristotle's Prior and Posterior Analytics.W. D. Ross - 1953 - British Journal for the Philosophy of Science 3 (12):374-375.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.details
|
|
Rules for the Direction of the Mind.René Descartes - 1962 - Les Etudes Philosophiques 17 (1):105-105.details
|
|
Aristotle.W. D. Ross - 1924 - Mind 33 (131):316-321.details
|
|
Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theroia 43:1--40..details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.details
|
|
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning.Dag Prawitz - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.details
|
|
Validity of Inferences.Dag Prawitz - 2013 - In Michael Frauchiger (ed.), Reference, Rationality, and Phenomenology: Themes from Føllesdal. De Gruyter. pp. 179-204.details
|
|
The Fundamental Problem of General Proof Theory.Dag Prawitz - 2019 - Studia Logica 107 (1):11-29.details
|
|
Inference and Epistemic Transparency.Gabriele Usberti - 2019 - Topoi 38 (3):517-530.details
|
|
Logical Consequence: A Constructivist View.Dag Prawitz - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
Significato e conoscenza: per una critica del neoverificazionismo.Gabriele Usberti - 1995 - Milano: Guerini scientifica.details
|
|
Questions of Proof.B. G. Sundholm - unknowndetails
|
|
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|