Relevance Logic: Problems Open and Closed

Australasian Journal of Logic 13 (1) (2016)
  Copy   BIBTEX

Abstract

I discuss a collection of problems in relevance logic. The main problems discussed are: the decidability of the positive semilattice system, decidability of the fragments of R in a restricted number of variables, and the complexity of the decision problem for the implicational fragment of R. Some related problems are discussed along the way.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v13i1.3926

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Reasoning about sequences of memory states.Rémi Brochenin, Stéphane Demri & Etienne Lozes - 2010 - Annals of Pure and Applied Logic 161 (3):305-323.
The Maximal Closed Classes of Unary Functions in p‐Valued Logic.Liu Renren & Lo Czukai - 1996 - Mathematical Logic Quarterly 42 (1):234-240.
Implication and Three Types of Meaning Connection.Igor Sedlar - 2009 - Filozofia 64 (4):339-345.
Some Remarks on Real Numbers Induced by First-Order Spectra.Sune Kristian Jakobsen & Jakob Grue Simonsen - 2016 - Notre Dame Journal of Formal Logic 57 (3):355-368.
What is relevance logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Y = 2x vs. Y = 3x.Alexei Stolboushkin & Damian Niwiński - 1997 - Journal of Symbolic Logic 62 (2):661-672.
$Y = 2x$ vs. $y = 3x$.Alexei Stolboushkin & Damian Niwinski - 1997 - Journal of Symbolic Logic 62 (2):661-672.
Elimination problems in logic: a brief history.William Craig - 2008 - Synthese 164 (3):321-332.
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space.Qing Zhou - 1996 - Mathematical Logic Quarterly 42 (1):379-409.
Ten philosophical problems in belief revision.Sven Ove Hansson - 2003
Modules of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.

Analytics

Added to PP
2017-02-14

Downloads
39 (#379,248)

6 months
2 (#1,015,942)

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

Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).

Add more citations

References found in this work

Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.

View all 13 references / Add more references