Bibliography
Ackermann, Wilhelm. “Begründung einer strengen Implikation”Journal of Symbolic Logic, 21:113–28 (1956).
Anderson, Alan Ross.Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification. Technical Report No. 6, Office of Naval Research, Group Psychology Branch, Contract SAR/Nonr-609(16), New Haven.(Reprinted inZeitschrift für mathematische Logik, 6:201–16 (1959).)
Anderson, Alan Ross, and Nuel D. Belnap, Jr. “A Modification of Ackermann's ‘Rigorous Implication’” (abstract),Journal of Symbolic Logic, 23:457–58 (1958).
—. “Modalities in Ackermann's ‘Rigorous Implication’”Journal of Symbolic Logic, 24:107–11 (1959).
-. “The Pure Calculus of Entailment,”Journal of Symbolic Logic, forthcoming.
Anderson, Alan Ross, Nuel D. Belnap, Jr., and John R. Wallace. “Independent Axiom Schemata for the Pure Theory of Entailment”Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 6:93–95 (1960).
Belnap, Nuel D., Jr. “Pure Rigorous Implication as a sequenzen-kalkül” (abstract),Journal of Symbolic Logic, 24:282–83 (1959).
-.A Formal Analysis of Entailment. Technical Report No. 7, Office of Naval Research, Group Psychology Branch, Contract No. SAR/Nonr-609 (16), New Haven.
—. “Entailment and Relevance”Journal of Symbolic Logic, 25:144–46 (1960).
—. “Tautological Entailments” (abstract),Journal of Symbolic Logic, 24:316 (1959).
Bennett, Jonathan F. “Meaning and Implication”Mind, n.s., 63:451–63 (1954).
Boehner, Philotheus.Medieval Logic. Chicago: University of Chicago Press, 1952.
Fitch, Frederic Brenton.Symbolic Logic. New York: Ronald Press, 1952.
Geach, P. T. “Entailment”Aristotelian Society Supplementary Volume, 32:157–72 (1958).
Hintikka, Jaakko. “Existential Presuppositions and Existential Commitments”Journal of Philosophy, 56(no.3):125–37 (1959).
Kant, Immanuel.Critik der reinen Vernunft. Riga: Johann Friedrich Hartknoch, 1781.
Kneale, William. “Truths of Logic”Proceedings of the Aristotelian Society, 46:207–34 (1945–46).
Lewis, Clarence Irving, and Cooper Harold Langford.Symbolic Logic. New York and London: Appleton-Century, 1932.
Lewy, C. “Entailment”Aristotelian Society Supplementary Volume, 32:123–42 (1958).
Parry, William Tuthill. “Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation)”Ergebnisse eines Mathematischen Kolloquiums, 4:5–6 (1933).
Popper, Karl R. “What Is Dialectic?”Mind, n.s., 49:403–26 (1940).
—. “Are Contradictions Embracing?”Mind, n.s., 52:47–50 (1943).
—. “New Foundations for Logic”Mind, n.s., 56:193–255 (1947).
Prior, A. N.Formal Logic. New York: Oxford University Press, 1955.
Smiley, T. J. “Entailment and Deducibility”Proceedings of the Aristotelian Society, 59:233–54 (1959).
Strawson, P. F. “Review of von Wright [27]”Philosophical Quarterly, 8:372–76 (1958).
Von Wright, Georg Henrik.Logical Studies. London: Routledge and Kegan Paul, 1957.
—. “A Note on Entailment”Philosophical Quarterly, 9:363–65 (1959).
Author information
Authors and Affiliations
Additional information
Authors' note. The research for this paper was supported in part by the Office of Naval Research, Contract no. SAR/Nonr-609 (16), Group Psychology Branch.
Rights and permissions
About this article
Cite this article
Anderson, A.R., Belnap, N.D. Tautological entailments. Philosophical Studies 13, 9–24 (1962). https://doi.org/10.1007/BF00818100
Issue Date:
DOI: https://doi.org/10.1007/BF00818100