This is a preview of subscription content, log in via an institution to check access.
Bibliography
Nuel D. Belnap, ‘Tonk, Plonk and Plink’, Analysis 22.6 (1962), 130–134.
G. Gentzen, ‘Investigations into Logical Deduction’, in M.E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68–131.
C. A. Goad, ‘Monadic Infinitary Propositional Logic: A Special Operator’ (unpublished report, Artificial Intelligence Project, Computer Science Dept., Stanford University, 1977).
A. Heyting, Intuitionism, an Introduction, North-Holland, Amsterdam, 1966.
P. Martin-Löf, ‘An Intutionistic Theory of Types: Predicative Part’, in H.E. Rose and J.C. Shepherdson (eds.), Logic Colloquitum '73: Proc. Logic Colloq., Bristol, July 1973, North-Holland, Amsterdam, 1975, pp. 73–118.
I. Nishimura, ‘On Formulas of One Variable in Intuitionistic Propositional Calculus’, J. Symb. Logic 25 (1960), 237–331.
D. Prawitz, ‘Ideas and Results in Proof Theory’, in J.E. Fenstad (ed.), Proc. Second Scandinavian Logic Symp., North-Holland, Amsterdam, 1971, pp. 235–308.
D. Prawitz, ‘Towards a Foundation of General Proof Theory’, in P. Suppes et al. (eds.), Logic, Methodology and Philosophy of Science IV: Proc. Cong. Bucharest, 1971, North-Holland, Amsterdam, 1973, pp. 225–250.
D. Prawitz, ‘On the Idea of a General Proof Theory’, Synthese 27 (1974), 63–77.
D. Prawitz, ‘Proofs and the Meaning and Completeness of the Logical Constants (to appear in Proc. Fourth Scandinavian Logic Symp.).
R. Tragesser, Phenomenology and Logic, Cornell University Press, Ithaca, New York, 1977.
A.S. Troelstra, ‘Principles of Intuitionism’, Lecture Notes in Mathematics 95, Springer, Berlin, 1969.
A.S. Troelstra, et al., ‘Metamathematical Investigation of Intuitionistic Arithmetic and Analysis’, Lecture Notes in Mathematics 344, Springer, Berlin, 1973.
J.I. Zucker, ‘Formalization of classical mathematics in AUTOMATH’, Colloque International de Logique, Clermont-Ferrand, July 1975. Colloques Internationaux du Centre National de la Recherche Scientifique, No. 249 (preprint available as AUTOMATH Report (AUT 40), Mathematics Dept., Technological University, Eindhoven, Netherlands).
J.I. Zucker, ‘The Adequacy Problem for Classical Logic’ (to appear in Journal of Philosophical Logic).
Author information
Authors and Affiliations
Additional information
An earlier version of this paper appeared as a University of Utrecht Mathematics Preprint (No. 37, November 1976) under the first author's name. Useful comments on this version were made by (among others) Peter Hancock and Garrel Pottinger.
Rights and permissions
About this article
Cite this article
Zucker, J.I., Tragesser, R.S. The adequacy problem for inferential logic. J Philos Logic 7, 501–516 (1978). https://doi.org/10.1007/BF00245941
Issue Date:
DOI: https://doi.org/10.1007/BF00245941