- Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.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
|
|
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.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
|
|
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.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
|
|
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.details
|
|