The undecidability of entailment and relevant implication

Journal of Symbolic Logic 49 (4):1059-1073 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274261

Links

PhilArchive



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

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

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs.Ivo Düntsch & Edwin Mares (eds.) - 2021 - Springer Verlag.
Alasdair Urquhart. Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33 , pp. 33–47. [REVIEW]Matthias Wille - 2012 - Bulletin of Symbolic Logic 18 (3):408-409.
An Undecidability Result in the Theory of Relevant Implication.Robert K. Meyer - 1968 - Mathematical Logic Quarterly 14 (13-17):255-262.
An Undecidability Result in the Theory of Relevant Implication.Robert K. Meyer - 1968 - Mathematical Logic Quarterly 14 (13‐17):255-262.
Strict Implication, Entailment, and Modal Iteration.Arthur Pap - 1956 - Journal of Symbolic Logic 21 (4):393-393.
Ockham Algebras—An Urquhart Legacy.T. S. Blyth & H. J. Silva - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 367-387.
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Alasdair Urquhart (Managing Editor), Steve Awodey. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (2).
Temporal Logic. Nicholas Rescher, Alasdair Urquhart. [REVIEW]John Richards & John H. Pfitsch - 1975 - Philosophy of Science 42 (1):100-103.
Richard Routley, "Semantic Analysis of Entailment and Relevant Implications: I".Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):210-279.
Geometric Models for Relevant Logics.Greg Restall - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 225-242.

Analytics

Added to PP
2009-01-28

Downloads
55 (#283,303)

6 months
21 (#165,407)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.

View all 39 citations / Add more citations

References found in this work

Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.

View all 7 references / Add more references