Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings [Book Review]

Journal of Symbolic Logic 47 (3):689-694 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273598

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Esa Saarinen. Introduction. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. vii–xii. - Jaakko Hintikka. Language-games. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 1–26. , Essays on Wittgenstein in honour of G. H. von Wright, pp. 105-125.) - Jaakko Hintikka. Quantifiers in logic and quantifiers in natural languages. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 27–47. - Jaakko Hintikka. Quantifiers vs. quantification theory. Game-theor. [REVIEW]James Higginbotham - 1986 - Journal of Symbolic Logic 51 (1):240-244.
Prawitz Dag. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 235–307. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
van Dalen Dirk. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. Felscher Walter. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986 .. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.
Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen & Soviet-Finnish Logic Conference - 1979
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.Kaarlo Jaakko Juhani Hintikka, Ilkka Niiniluoto & Esa Saarinen (eds.) - 1976 - Dordrecht and Boston: Reidel.
Grandy Richard E.. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston 1977, xiii + 168 pp. [REVIEW]Neil Tennant - 1982 - Journal of Symbolic Logic 47 (3):714-716.
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 185–191. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
J. Michael Dunn. Relevance logic and entailment. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 117–224. [REVIEW]Harry Deutsch - 1992 - Journal of Symbolic Logic 57 (2):752-753.
Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.

Analytics

Added to PP
2016-06-30

Downloads
62 (#343,060)

6 months
14 (#229,302)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Grandy
Rice University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references