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: 101,010

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.
Richard Routley, "Semantic Analysis of Entailment and Relevant Implications: I".Nicholas Ferenz - 2018 - Australasian Journal of Logic 15 (2):210-279.
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.
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.
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
61 (#349,239)

6 months
4 (#1,247,585)

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

Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.

View all 55 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.
Career induction stops here (and here = 2).Robert K. Meyer - 1979 - Journal of Philosophical Logic 8 (1):361 - 371.
An undecidable relevant logic.Robert K. Meyer & Richard Routley - 1973 - Mathematical Logic Quarterly 19 (26‐29):389-397.

Add more references