The adequacy problem for inferential logic

&
Journal of Philosophical Logic 7 (1):501 - 516 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00245941

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

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. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
R. S. TRAGESSER "Husserl and realism in logic and mathematics". [REVIEW]J. N. Mohanty - 1985 - History and Philosophy of Logic 6 (2):230.
Review of R. S. Tragesser, Husserl and Realism in Logic and Mathematics. [REVIEW]John J. Drummond - 1985 - Review of Metaphysics 38 (4):913-916.
Review: Robert S. Tragesser, Phenomenology and Logic. [REVIEW]David Woodruff Smith - 1981 - Journal of Symbolic Logic 46 (1):166-167.
Robert S. Tragesser. Phenomenology and logic. Cornell University Press, Ithaca and London1977, 138 pp. [REVIEW]David Woodruff Smith - 1981 - Journal of Symbolic Logic 46 (1):166-167.
The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Review: J. Zucker, The Correspondence Between Cut-Elimination and Normalization. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
Philosophical books.[author unknown] - 1972 - Philosophical Books 13 (2):1-38.

Analytics

Added to PP
2009-01-28

Downloads
70 (#228,098)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
General-Elimination Stability.Bruno Jacinto & Stephen Read - 2017 - Studia Logica 105 (2):361-405.

View all 22 citations / Add more citations

References found in this work

Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.

View all 7 references / Add more references