Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe, then another perspective emerges: the theses of relevance logic, specifically the system R, may also be seen as the output of a conservative extension of the relation of classical consequence. We describe two ways in which this may be done. One is by defining a suitable (...) closure relation out of the set of theses of relevance logic; the other is by adding to the usual natural deduction system for it further rules with ‘projective constraints’, whose application restricts the subsequent application of other rules. The significance of the two constructions is also discussed. (shrink)

Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as (...) a necessary property for a logic to have in order for it to not validate the so-called paradoxes of implication. The Entailment Theorem on the other hand was regarded as both necessary and sufficient. This paper shows that the latter theorem also holds for classical logic, and so cannot be regarded as a sufficient property for blocking the paradoxes. The concept of suppression is taken up, but shown to be properly weaker than that of variable sharing. (shrink)

Here, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$. The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles are needed. The result is a single semantic approach for quantified modal relevant logics. Within this framework, I discuss the requirements a quantified modal relevant (...) class='Hi'>logic must satisfy to be “sufficiently classical” in its modal fragment, where frame conditions are given that work for positive fragments of logics. The roles of the Barcan formula and its converse are also investigated. (shrink)

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various (...) applications of relevant logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

Relevance logics are a misunderstood lot. Despite being the subject of intense study for nearly a century, they remain maligned as too complicated, too abstruse, or too silly to be worth learning much about. This Element aims to dispel these misunderstandings. By focusing on the weak relevant logic B, the discussion provides an entry point into a rich and diverse family of logics. Also, it contains the first-ever textbook treatment of quantification in relevance logics, as well as an (...) overview of the cutting edge on variable sharing results and a guide to further topics in the field. (shrink)

Relevant Logics and their Rivals, Volume II extends the material of the first volume in two ways.

The idea that impossibilities have an important semantic role to play is becoming widely accepted on various grounds, including grounds of relevance. I argue that this is a mistake, that it has led to various foundational objections to relevance logic, and that these objections are avoidable given a semantics that clearly distinguishes two types of conditional or inferential fallacies, namely, those concerning truth preservation from those concerning a relation between content or subject matter. I argue that we should avoid (...) the use of impossibilities in favor of a coarse-grained notion of content, and argue for the benefits of such an approach. (shrink)

This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E – the rule of restricted assertion or equivalently Ackermann’s δ-rule – is solely added as a primitiverule, it is very much possible when E is axiomatized in the way Anderson and Belnap did. The simplified semantics (...) for E and Π′ requires unreduced frames. Contra what has been claimed, however, no additional frame component is required over and above what’s required to model other relevant logics such as T and R. It is also shown how to modify the tonicity requirements of theternary relation so as to allow for the standard truth condition for both fusion – the intensional conjunction◦ – as well as the converse conditional ←. (shrink)

ABSTRACT In this work we argue for relevant logics as a basis for paraconsistent epistemic logics. In order to do so, a paraconsistent nonmonotonic multi-agent epistemic logic, MDR (for Modal Defeasible Relevant), is briefly introduced. In MDR each agent has two kinds of belief: an absolute belief that P, represented by AiP, and a defeasible belief that P, represented by DiP. Therefore, an agent can reason with his own absolute and defeasible beliefs about the world and also (...) reason about his beliefs about other agents' beliefs both absolute and defeasible. A theorem is presented showing some patterns of reasoning in MDR. Avron's relevant logic RMI? s compared proof theoretically with Anderson and Belnap's relevant logics R and RM and also with Da Costa's paraconsistent logic CI, with respect to some desired properties of absolute and defeasible beliefs. Then we can understand why RMI was chosen to be the underlying logic for the monotonie part (the absolute beliefs) of MDR, and had to be modified and integrated with a nonmonotonic logic in order to be the underlying logic for the nonmonotonic part (defeasible beliefs). (shrink)

We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.

In this paper we construct an extension, ℒ, of Anderson and Belnap's relevance logic R that is classical in the sense that it contains p&p → q as a theorem, and we prove that ℒ is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.

This chapter contains sections titled: Non‐Sequiturs are Bad The Real Use of Premises Implication From Proof Theory to Semantics Adding Conjunction The Problem of Disjunction Routley and Meyer's Ternary Relation Rules for Disjunction The Semantics of Negation Rules for Negation Disjunctive Syllogism Logics Stronger than R Logics Weaker than R Relevant Logics and Natural Language Conditionals Theory of Properties Summary.

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes (...) complete sequent calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two semantics (...) for the contractionless logics ∪RW and ∪TW. (shrink)

This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E  the rule of restricted assertion or equivalently Ackermann’s δ-rule  is solely added as a primitive rule, it is very much possible when E is axiomatized in the way Anderson and Belnap did. The simplified (...) semantics for E and Π′ requires unreduced frames. Contra what has been claimed, however, no additional frame component is required over and above what’s required to model other relevant logics such as T and R. It is also shown how to modify the tonicity requirements of the ternary relation so as to allow for the standard truth condition for both fusion – the intensional conjunction ◦ – as well as the converse conditional ←. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a (...) proof. (shrink)

This paper continues the work of Priest and Sylvan in Simplified Semantics for Basic Relevant Logics, a paper on the simplified semantics of relevant logics, such as B⁺ and B. We show that the simplified semantics can also be used for a large number of extensions of the positive base logic B⁺, and then add the dualising '*' operator to model negation. This semantics is then used to give conservative extension results for Boolean negation.

The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency.

Once upon a time, modal logic was castigated because it ‘had no semantics.’ Kripke, Hintikka, Kanger, and others changed all that. In a similar way, when Relevant Logic was introduced by Anderson and Belnap, it too was castigated for ‘having no semantics.’ The present overview marks a culmination of that effort. The semantic approach described here brings together a number of hitherto disparate efforts to set out formal systems for logics of relevant implication and entailment. It (...) also makes clear (despite some of our hopes and utterances) that the One True Logic does not exist. This is as true for relevant logics as Kripke et al., showed it to be for modal logics. In both cases, subtle (and not so subtle) variations on semantical postulates produce different logics in the same family. The question of which semantical postulates are correct makes no sense without further context, i.e., the questioner needs to answer the question: Correct for what? The question that does remain is: What motivates the relevant family of logics? And this is the question that is the main job for this chapter to investigate. (shrink)

This paper provides an interpretation of the Routley-Meyer semantics for a weak negation-free relevant logic using Israel and Perry's theory of information. In particular, Routley and Meyer's ternary accessibility relation is given an interpretation in information-theoretic terms.

A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule γ and as a corollary of this it is proved that each logic is a conservative extension of its counterpart based on classical logic, hence we call them “classically complete”. MSC: 03B45, 03B46.

This paper concerns the interface between relevant logics and recent developments in semantics for hyperintensional operators. In the latter area, the notion of topicality or aboutness has begun to play an explicit modeling role, with classes of models being studied which incorporate representations of topics, and of operations on topics. The idea is to use these topics in the evaluations of formulas including hyperintensional operators in order to explain why classically equivalent formulas may not be intersubstitutable in contexts using (...) those operators—though classically equivalent, if a pair of formulas can be interpreted to concern totally unrelated topics, then we should not be able to substitute one for the other in contexts which are sensitive to topics. Relevant logics, and the central relevance property of Variable Sharing, have been read as concerning something like topics in the past, and recently this angle on relevance has seen renewed interest. In this paper, I’ll develop and motivate a method for representing topics in the matrix models of logics, and apply this method to _R_ and its matrix models (given by De Morgan monoids) to argue that there is a clear semantic perspective on topicality according to which _R_ is topic-sensitive as a logic. (shrink)

It is proved that Ackermann’s rule δ is admissible in a wide spectrum of relevant logics satisfying certain syntactical properties.

Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, (...) we introduce a new pretabular logic, which we shall name \, and which is a neighbor of \, in that it is an extension of KR. Also in this section, an algebraic semantics, ‘\-algebras’, will be introduced and the characterization of \ to the set of finite \-algebras will be shown. In Section 3, the pretabularity of \ will be proved. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us (...) relevant implication. I then investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5ish extensions of the underlying propositional relevant logic. In particular, given a fairly standard translation between modal and one-variable languages and a permuting propositional relevant logic L, a formula $$\mathcal {A}$$ A of the one-variable fragment is a theorem of LQ (QL) iff its translation is a theorem of L5 (L.5). The proof is model-theoretic. In one direction, semantics based on (...) the Mares-Goldblatt [15] semantics for quantified L are transformed into ternary (plus two binary) relational semantics for S5-like extensions of L (for a general presentation, see Seki [26, 27]). In the other direction, a valuation is given for the full first-order relevant logic based on L into a model for a suitable S5 extension of L. I also discuss this work’s relation to finding a complete axiomatization of the constant domain, non-general frame ternary relational semantics for which RQ is incomplete [11]. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

It is shown how to model propositional constants within the simplified Routley-Meyer semantics. Various axioms and rules allowing the definition of modal operators, implicative negations, enthymematical conditionals, and propositions expressing various infinite conjunctions and disjunctions are set forth and shown to correspond to specific frame conditions. Two propositional constants which are both often designated as “the Ackermann constant” are shown to capture two such “infinite” propositions: The conjunction of every logical law and the conjunction of every truth –what Anderson and (...) Belnap called the “world” constant. (shrink)

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document} from geometries, and different constraints that (...) an accessibility relation in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable. (shrink)

Connexive expansions of relevant logics tend to prove every negated implication formula. In this paper I discuss why they tend to satisfy this unsavoury property, and discuss avenues by which it can be avoided, providing logics which stand as proofs of concept that these avenues can be made to work.

Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance (...) logics and relation algebras. Some details of certain incompleteness results, however, pinpoint where relevance logics and relation algebras diverge. To carry out these semantic investigations, we define a new tableaux formalization and new sequent calculi (with the single cut rule admissible) for various relevance logics. (shrink)

The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there (...) are at least two approaches to the problem. First of all, it is possible to restrict a validity of some theorems. In another approach we can investigate even weaker logics which have no theorems and are characterized only by rules of deducibility. (shrink)

In the early seventies, several logicians developed a semantics for propositional systems of relevance logic. The essential ingredients of this semantics were a privileged point o, an ‘accessibility’ relation R and a special operator * for evaluating negation. Under the truth- conditions of the semantics, each formula A(Pl,…,Pn) could be seen as expressing a first order condition A+(pl,…,pn, o, R,*) on sets p1,…,pn and o, R, *, while each formula-scheme could be regarded as expressing the second-order condition ∀p1,…,∀pn A+(p1,…,pn, (...) o, R, *). It could then be shown that many standard systems of propositional relevance logic were complete in the sense that their theorems were just those formulas true in all models whose components o, R and * conformed to the second-order conditions expressed by the axioms of the system. (shrink)

We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom \((p\rightarrow q)\vee (q\rightarrow p)\) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.

This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic (...) structures corresponding to the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new relevance principles introduced by Yang. We show that the weakening-free uninorm systems and some extensions and neighbors of R satisfy the new relevance principles. (shrink)

In this article, I consider the positive logic of Boolean groups (i.e. Abelian groups where every non-identity element has order 2), where these are taken as frames for an operational semantics à la Urquhart. I call this logic BG. It is shown that the logic over the smallest nontrivial Boolean group, taken as a frame, is identical to the positive fragment of a quasi-relevance logic that was developed by Robles and Méndez (an extension of this result (...) where negation is included is also discussed). It is proved that BG satisfies the variable sharing property and is Halldén complete, while failing to satisfy the disjunction property. Sound and complete subscripted tableaux are presented for BG. An axiomatization (in the positive language extended with fusion) is presented, which is sound with respect to BG and, with respect to a related ternary relational semantics, complete; the problem of identifying a complete axiomatization for BG itself is left open. Connections between BG and the quasi-relevance logic KR are also discussed. (shrink)

This paper surveys important work done in relevant logic in the past 10 years.

We prove that algebras of binary relations whose similarity type includes intersection, union, and one of the residuals of relation composition form a nonfinitely axiomatizable quasivariety and that the equational theory is not finitely based. We apply this result to the problem of the completeness of the positive fragment of relevance logic with respect to binary relations.