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.
Temporal Logic. Nicholas Rescher, Alasdair Urquhart. [REVIEW]John Richards & John H. Pfitsch - 1975 - Philosophy of Science 42 (1):100-103.
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).
Richard Routley, "Semantic Analysis of Entailment and Relevant Implications: I".Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):210-279.
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp. [REVIEW]Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.

Analytics

Added to PP
2009-01-28

Downloads
56 (#278,634)

6 months
22 (#158,899)

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.
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.

View all 39 citations / Add more citations

References found in this work

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.
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

View all 7 references / Add more references