The complexity of decision procedures in relevance logic II

Journal of Symbolic Logic 64 (4):1774-1802 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586811

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
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.
Reflections on Proof Complexity and Counting Principles.Noah Fleming & Toniann Pitassi - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 497-520.
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.
Relevance-Sensitive Truth-Trees.David Makinson - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 23-65.
Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 , pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio , vol. 8 , pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio , vol. 8 , pp. 40–47. [REVIEW]Robert A. Bull - 1975 - Journal of Symbolic Logic 40 (2):252-253.
A Logical Autobiography.Alasdair Urquhart - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 1-21.

Analytics

Added to PP
2009-01-28

Downloads
61 (#279,849)

6 months
29 (#128,083)

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

Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1).
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.

Add more citations

References found in this work

Add more references