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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,197

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

New(ish) Foundations for Theories of Entailment.Yale Weiss - 2024 - In Yale Weiss & Romina Birman (eds.), Saul Kripke on Modal Logic. Cham: Springer. pp. 389-408.
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.
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).
Richard Routley, "Semantic Analysis of Entailment and Relevant Implications: I".Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):210-279.
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.
Temporal Logic. Nicholas Rescher, Alasdair Urquhart. [REVIEW]John Richards & John H. Pfitsch - 1975 - Philosophy of Science 42 (1):100-103.
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
58 (#293,817)

6 months
15 (#302,718)

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.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.
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.

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.
Career induction stops here (and here = 2).Robert K. Meyer - 1979 - Journal of Philosophical Logic 8 (1):361 - 371.

View all 6 references / Add more references