Cellucci, C., Teoria delle dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali, Bollati Boringhieri, Torino, 1978.
Cozzo, C., Meaning and argument. A theory of meaning centred on immediate argumental role, Almqvist & Wiksell, Uppsala, 1994.
d’Aragona, A. P., A partial calculus for Dag Prawitz’s theory of grounds and a decidability issue, in A. Christian, D. Hommen, N. Retzlaff, and G. Schurz, (eds), Philosophy of Science, vol. 9 of European Studies in Philosophy of Science, Springer, Berlin Heidelberg, New York, 2018, pp. 223–244.
d’Aragona, A. P., Dag Prawitz on proofs, operations and grounding, Topoi 38(3):531–550, 2019.
d’Aragona, A. P., Dag Prawitz’s theory of grounds, Ph.D. thesis, Aix-Marseille University, “Sapienza” University of Rome, 2019, https://hal.archives-ouvertes.fr/tel-02482320/document.
d’Aragona, A. P., Denotational semantics for languages of epistemic grounding based on Prawitz’s theory of grounds, Studia Logica, 2021, online first.
d’Aragona, A. P., Proofs, grounds and empty functions: epistemic compulsion in Prawitz’s semantics, Journal of Philosophical Logic, 2021, online first.
Dummett, M., The logical basis of metaphysics, Harvard University Press, Cambridge, 1991.
Francez, N., Proof-theoretic semantics, College Publications, London, 2015.
Gentzen, G., Untersuchungen über das logische Schließen I, Matematische Zeitschrift, 39:176–210, 1935.
Heyting, A., Intuitionism. An introduction, North-Holland Publishing Company, Amsterdam, 1956.
Martin-Löf, P., Intuitionistic type theory, Bibliopolis, Napoli, 1984.
Piecha, T., W. de Campos Sanz, and P. Schroeder-Heister, Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44(3):321–335, 2015.
Piecha, T., and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, Studia Logica 107(1):233–246, 2019.
Prawitz, D., Ideas and results in proof theory, in J. E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium, vol. 63 of Studies in logic and the foundations of mathematics, North-Holland, Amsterdam, 1971, pp. 235–308.
Prawitz, D., Towards a foundation of a general proof-theory, in P. Suppes, L. Henkin, A. Joja, and G. C. Moisil, (eds.) Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, vol. 74 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1973, pp. 225–250.
Prawitz, D., Meaning and proofs: on the conflict between classical and intuitionistic logic, Theoria 43(1):2–40, 1977.
Prawitz, D., Natural deduction. A proof-theoretical study, Dover, New York, 2006.
Prawitz, D., Explaining deductive inference, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol.7 of Outstanding Contributions to Logic, Springer, Berlin, Heidelberg New York, 2015, pp. 65–100.
Prawitz, D., The seeming interdependence between the concepts of valid inference and proof, Topoi 38(3):493–503, 2019.
Prawitz, D., The validity of inference and argument, forthcoming.
Schroeder-Heister, P., A natural extension for natural deduction, Journal of Symbolic Logic 49(4):1284–1300, 1984.
Schroeder-Heister, P., Generalized rules for quantifiers and the completeness of the intuitionistic operators \(\wedge \), \(\vee \), \(\rightarrow \), \(\forall \), \(\exists \), in M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, and W. Thomas, (eds.), Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983, Part II, Springer, Berlin, 1984, pp. 399–426.
Schroeder-Heister, P., Uniform proof-theoretic semantics for logical constants, Journal of Symbolic Logic 56:1142, 1991.
Schroeder-Heister, P., Proof-theoretic semantics, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (Spring 2018 Edition), 2018.
Tranchini, L., Proof, meaning and paradox: some remarks, Topoi 38(3):1–13, 2019.
Usberti, G., A notion of \(C\)-justification for empirical statements, in H. Wansing, (ed.), Dag Prawitz on proofs and meaning, vol. 7 of Oustanding Contributions to Logic, Springer, Berlin, Heidelberg, New York, 2015, pp. 415–450.
Usberti, G., Inference and epistemic transparency, Topoi 38(3):517–530, 2019.