Bibliography
W. Craig, ‘Satisfaction for n-th Order Languages Defined in n-th Order Languages’, J. Symbolic Logic 30 (1965), 13–25.
S. Feferman, ‘Applications of Many-sorted Interpolation Theorems’, in L. Henkin et al. (eds.), Proceedings of the Tarski Symposium. Proc. Symp. Pure Math. 25, Am. Math. Soc., Providence, RI, 1974, pp. 205–223.
G. Frege, Begriffsschrift, 1879, translated in J.van Heijenoort (ed.), From Frege to Gödel, Harvard Univ. Press, Cambridge, Mass., 1976, pp. 1–82.
G. Gentzen, Investigations into Logical Deduction, 1935, translated in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68–131.
H. J. Keisler, ‘Logic with the Quantifier “There exist uncountably many”’, Ann. Math. Logic 1 (1970), 1–93.
G. Kreisel, ‘Informal Rigour and Completeness Proofs’, in I. Lakatos (eds.), Problems in the Philosophy of Mathematics, Proc. Int. Colloq. Phil. Science, London, 1965, North-Holland, Amsterdam, 1967, pp. 138–171.
G. Kreisel and J. L. Krivine, Elements of Mathematical Logic, North-Holland, Amsterdam, 1971.
P. Linström, ‘On Characterizing Elementary Logic’, in S. Stenlund (ed.), Logical Theory and Semantical Analysis, D. Reidel, Dordrecht, 1974, pp. 129–146.
J. A. Makowsky, S. Shelah, and J. Stavi, ‘Δ-logics and Generalized Quantifiers’, Ann. Math. Logic 10 (1967), 155–192.
G. Takeuti, Proof Theory, North-Holland, Amsterdam, 1975.
L. H. Tharp, ‘Continuity and Elementary Logic’, J. Symbolic Logic 39 (1974), 700–716.
L. H. Tharp, ‘Which Logic is the Right Logic?’ Synthese 31 (1975), 1–21.
J. I. Zucker and R. S. Tragesser, The Adequacy Problem for Inferential Logic’, J. Philosophical Logic 7 (1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zucker, J.I. The adequacy problem for classical logic. J Philos Logic 7, 517–535 (1978). https://doi.org/10.1007/BF00245942
Issue Date:
DOI: https://doi.org/10.1007/BF00245942