Results for ' relevant logic'

969 found
Order:
  1.  95
    Relevance Logic.Shay Allen Logan - 2024 - New York, NY, USA: Cambridge University Press.
    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 (...)
  2.  14
    (1 other version)Relevance Logic.Edwin D. Mares - 2002 - In Dale Jacquette, A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 607–627.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Relevant Logic: A Philosophical Interpretation.Edwin Mares - 2004 - New York: Cambridge University Press.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   112 citations  
  4. Relevant logic: a philosophical examination of inference.Stephen Read - 1988 - Oxford: Blackwell.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   101 citations  
  5.  35
    Non-Boolean classical relevant logics I.Tore Fjetland Øgaard - 2019 - Synthese (8):1-32.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  72
    The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  71
    Quantified Modal Relevant Logics.Nicholas Ferenz - 2023 - Review of Symbolic Logic 16 (1):210-240.
    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 (...) 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)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8. Incompleteness for Quantified Relevance Logics.Kit Fine - 1989 - In J. Norman & R. Sylvan, Directions in Relevant Logic. Dordrecht and Boston: Springer. pp. 205-225.
    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, (...)
     
    Export citation  
     
    Bookmark   15 citations  
  9. Relevant Logic : a Philosophical Examination of Inference.Stephen Read - 1988 - Revue Philosophique de la France Et de l'Etranger 179 (4):656-656.
     
    Export citation  
     
    Bookmark   75 citations  
  10. The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
    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. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  95
    Substructural Fuzzy-Relevance Logic.Eunsuk Yang - 2015 - Notre Dame Journal of Formal Logic 56 (3):471-491.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  14.  37
    Relevant logic as a basis for paraconsistent epistemic logics.Gerson Zaverucha - 1992 - Journal of Applied Non-Classical Logics 2 (2):225-241.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Classical relevant logics. I.R. K. Meyer & Richard Routley - 1973 - Studia Logica 32:51.
  16. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  17.  56
    Structural Completeness in Relevance Logics.J. G. Raftery & K. Świrydowicz - 2016 - Studia Logica 104 (3):381-387.
    It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Relevant Logics and Their Rivals, Volume II.Richard Sylvan & Ross Brady - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
  19.  48
    A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
    This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  36
    Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson, David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  50
    Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.
    In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  74
    Non-Boolean classical relevant logics II: Classicality through truth-constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.
    This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  9
    REVIEWS-Relevant logics and their rivals, Volume II.R. Brady & Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-71.
  24.  51
    Neighbourhood Semantics for Quantified Relevant Logics.Andrew Tedder & Nicholas Ferenz - 2022 - Journal of Philosophical Logic 51 (3):457-484.
    The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.
    At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic”. Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for $\mathbf{IR}$, I explain why $\mathbf{IR}$ is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that $\mathbf{IR}$ cannot be a core logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  34
    One Variable Relevant Logics are S5ish.Nicholas Ferenz - 2024 - Journal of Philosophical Logic 53 (4):909-931.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  14
    Simplified semantics for further relevant logics II: Propositional Constants.Tore Fjetland Øgaard - forthcoming - Logic and Logical Philosophy.
    It is shown how to model propositional constants within the simplified Routley-Meyer semantics. Various axioms and rules allowingthe definition of modal operators, implicative negations, enthymematical conditionals, and propositions expressing various infinite conjunctions anddisjunctions 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  27
    Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2001 - In Lou Goble, The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 280–308.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  29.  76
    Relevant logics and their rivals.Richard Sylvan & Ross Brady (eds.) - 1982 - Atascadero, CA: Ridgeview Pub. Co..
    Relevant Logics and their Rivals, Volume II extends the material of the first volume in two ways.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  30.  3
    Relevance logic without impossibilities.Michael De - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  14
    Geometric Models for Relevant Logics.Greg Restall - 2021 - In Ivo Düntsch & Edwin Mares, Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 225-242.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  53
    A Note on the Relevance of Semilattice Relevance Logic.Yale Weiss - 2019 - Australasian Journal of Logic 16 (6):177-185.
    A propositional logic has the variable sharing property if φ → ψ is a theorem only if φ and ψ share some propositional variable. In this note, I prove that positive semilattice relevance logic and its extension with an involution negation have the variable sharing property. Typical proofs of the variable sharing property rely on ad hoc, if clever, matrices. However, in this note, I exploit the properties of rather more intuitive arithmetical structures to establish the variable sharing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  99
    Relevant logics and their semantics remain viable and undamaged by Lewis's equivocation charge.R. Routley & R. K. Meyer - 1983 - Topoi 2 (2):205-215.
  34.  13
    Simplified Semantics for Further Relevant Logics I: Unreduced Semantics for E and Π′.Tore Fjetland Øgaard - forthcoming - Logic and Logical Philosophy.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Model definability in relevant logic.Guillermo Badia - 2017 - IfCoLog Journal of Logics and Their Applications 3 (4):623-646.
    It is shown that the classes of Routley-Meyer models which are axiomatizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model-theoretic operations involving prime filter extensions, relevant directed bisimulations and disjoint unions.
     
    Export citation  
     
    Bookmark  
  36. (1 other version)Relevance Logics, Paradoxes Of Consistency And The K Rule Ii.José Méndez & Gemma Robles - 2006 - Logic and Logical Philosophy 15:175-191.
    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.
     
    Export citation  
     
    Bookmark   1 citation  
  37.  43
    Tracking reasons with extensions of relevant logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
    In relevant logics, necessary truths need not imply each other. In justification logic, necessary truths need not all be justified by the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  38.  14
    Topics in Relevant Logic: A Semantic Perspective.Andrew Tedder - forthcoming - Erkenntnis:1-29.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  57
    Relevance Logic: Problems Open and Closed.Alasdair Urquhart - 2016 - Australasian Journal of Logic 13 (1):11-20.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40. Real Properties, Relevance Logic, and Identity.Philip Kremer - 1994 - Dissertation, University of Pittsburgh
    There is an intuition, notoriously difficult to formalise, that only some predicates express real properties. J. M. Dunn formalises this intuition with relevance logic, proposing a notion of relevant predication. For each first order formula Ax, Dunn specifies another formula that is intuitively interpreted as "Ax expresses a real property". Chapter I calls such an approach an object language approach, since the claim that Ax expresses a real property is rendered as a formula in the object language. On (...)
     
    Export citation  
     
    Bookmark   3 citations  
  41. Rich Relevant Logics Based on a Simple Type of Semantics.D. Batens - 1986 - Logique Et Analyse 29 (116):437-457.
     
    Export citation  
     
    Bookmark  
  42.  17
    A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.Norihiro Kamide - 2016 - Mathematical Logic Quarterly 62 (3):177-189.
    In this paper, the positive fragment of the logic math formula of contraction-less relevant implication is extended with the addition of a paraconsistent negation connective similar to the strong negation connective in Nelson's paraconsistent four-valued logic math formula. This extended relevant logic is called math formula, and it has the property of constructible falsity which is known to be a characteristic property of math formula. A Gentzen-type sequent calculus math formula for math formula is introduced, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
    This paper surveys important work done in relevant logic in the past 10 years.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  24
    Some relevance logics from the point of view of relational semantics.Katalin Bimbó - 2016 - Logic Journal of the IGPL 24 (3):268-287.
  45. Relevant logic and the theory of information.Edwin Mares - 1996 - Synthese 109 (3):345 - 360.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  46. Relevance Logic and Inferential Knowledge.John A. Barker - 1989 - In J. Norman & R. Sylvan, Directions in Relevant Logic. Dordrecht and Boston: Springer. pp. 317-326.
     
    Export citation  
     
    Bookmark  
  47.  14
    A Preservationist Approach to Relevant Logic.Nicholas Ferenz - unknown
    The semantics I develop extend an approach to logic called preservationism. The preservationist approach to logic interprets non-classical consequence relations as preserving something other than truth. I specifically extend a preservationist approach, due to Bryson Brown, which interprets various paraconsistent consequence relations as preserving measures of ambiguity. Relevant logics are constructible by extending one of these logics with an implication connective. I develop a formal semantics which I show to be adequate for interesting relevant logics. I (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  20
    Implicational relevance logic is 2-exptime-complete.Sylvain Schmitz - 2016 - Journal of Symbolic Logic 81 (2):641-661.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  24
    Directions in Relevant Logic.J. Norman & R. Sylvan (eds.) - 1989 - Dordrecht and Boston: Springer.
    Relevance logics came of age with the one and only International Conference on relevant logics in 1974. They did not however become accepted, or easy to promulgate. In March 1981 we received most of the typescript of IN MEMORIAM: ALAN ROSS ANDERSON Proceedings of the International Conference of Relevant Logic from the original editors, Kenneth W. Collier, Ann Gasper and Robert G. Wolf of Southern Illinois University. 1 They had, most unfortunately, failed to find a publisher - (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  17
    From Iff to Is: Some New Thoughts on Identity in Relevant Logics.Edwin Mares - 2019 - In Can Başkent & Thomas Macaulay Ferguson, Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 343-363.
    In this paper, I set out a semantics for identity in relevant logic that is based on an analogy between the biconditional and identity. This analogy supports the semantics that Priest has set out for identity in basic relevant logic and it motivates a version of the Routley–Meyer semantics in which identities can be viewed as constraints on the ternary relation that is used to treat implication.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 969