Search results for 'relevant logic' (try it on Scholar)

1000+ found
Sort by:
  1. Mark Jago (2013). Recent Work in Relevant Logic. Analysis 73 (3):526-541.score: 240.0
    This paper surveys important work done in relevant logic in the past 10 years.
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  2. Edwin D. Mares (2009). General Information in Relevant Logic. Synthese 167 (2):343 - 362.score: 216.0
    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.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Edwin David Mares (2004). Relevant Logic: A Philosophical Interpretation. Cambridge Univeristy Press.score: 208.0
    This book introduces the reader to relevant logic and provides it with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') 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 (especially implication and negation) and natural language conditionals. The (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Diderik Batens (forthcoming). Propositional Logic Extended with a Pedagogically Useful Relevant Implication. Logic and Logical Philosophy.score: 204.0
    First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Lou Goble (2000). An Incomplete Relevant Modal Logic. Journal of Philosophical Logic 29 (1):103-119.score: 202.0
    The relevant modal logic G is a simple extension of the logic RT, the relevant counterpart of the familiar classically based system T. Using the Routley-Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-standard interpretation of necessity. From this, however, other nice properties follow. (ii) With a standard interpretation of necessity, G is semantically incomplete; there is no class of frames (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Wesley H. Holliday (forthcoming). Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. Journal of Philosophical Logic:1-62.score: 198.0
    Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Wesley H. Holliday (2012). Epistemic Logic, Relevant Alternatives, and the Dynamics of Context. Lecture Notes in Computer Science 7415:109-129.score: 192.0
    According to the Relevant Alternatives (RA) Theory of knowledge, knowing that something is the case involves ruling out (only) the relevant alternatives. The conception of knowledge in epistemic logic also involves the elimination of possibilities, but without an explicit distinction, among the possibilities consistent with an agent’s information, between those relevant possibilities that an agent must rule out in order to know and those remote, far-fetched or otherwise irrelevant possibilities. In this article, I propose formalizations of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.score: 186.0
    This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.score: 186.0
    This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163-187.score: 186.0
    The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Kazimierz Swirydowicz (1999). There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R. Journal of Symbolic Logic 64 (3):1125-1154.score: 186.0
    In [60] N. Belnap presented an 8-element matrix for the relevant logic R with the following property: if in an implication A → B the formulas A and B do not have a common variable then there exists a valuation v such that v(A → B) does not belong to the set of designated elements of this matrix. A 6-element matrix of this kind can be found in: R. Routley, R.K. Meyer, V. Plumwood and R.T. Brady [82]. Below (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Kazimierz Swirydowicz (2008). There Exists an Uncountable Set of Pretabular Extensions of the Relevant Logic R and Each Logic of This Set is Generated by a Variety of Finite Height. Journal of Symbolic Logic 73 (4):1249-1270.score: 182.0
    In "Handbook of Philosophical Logic" M. Dunn formulated a problem of describing pretabular extensions of relevant logics (cf. M. Dunn [1984], p. 211: M. Dunn, G. Restall [2002], p. 79). The main result of this paper described in the title.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Gerson Zaverucha (1992). Relevant Logic as a Basis for Paraconsistent Epistemic Logics. Journal of Applied Non-Classical Logics 2 (2):225-241.score: 182.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. J. Michael Dunn (1979). A Theorem in 3-Valued Model Theory with Connections to Number Theory, Type Theory, and Relevant Logic. Studia Logica 38 (2):149 - 169.score: 180.0
    Given classical (2 valued) structures and and a homomorphism h of onto , it is shown how to construct a (non-degenerate) 3-valued counterpart of . Classical sentences that are true in are non-false in . Applications to number theory and type theory (with axiom of infinity) produce finite 3-valued models in which all classically true sentences of these theories are non-false. Connections to relevant logic give absolute consistency proofs for versions of these theories formulated in relevant (...) (the proof for number theory was obtained earlier by R. K. Meyer and suggested the present abstract development). (shrink)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. José M. Méndez, A Note on "Recent Work in Relevant Logic&Quot;.score: 180.0
    In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism (DS). The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.score: 180.0
    We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Harry Deutsch (1985). A Note on the Decidability of a Strong Relevant Logic. Studia Logica 44 (2):159 - 164.score: 180.0
    A modified filtrations argument is used to prove that the relevant logic S of [2] is decidable.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Edwin D. Mares (1996). Relevant Logic and the Theory of Information. Synthese 109 (3):345 - 360.score: 180.0
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Stephen Read (1988). Relevant Logic: A Philosophical Examination of Inference. B. Blackwell.score: 178.0
  20. Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.score: 176.0
    A system FDQ of first degree entailment with quantification, extending classical quantification logic Q by an entailment connective, is axiomatised, and the choice of axioms defended and also, from another viewpoint, criticised. The system proves to be the equivalent to the first degree part of the quantified entailmental system EQ studied by Anderson and Belnap; accordingly the semantics furnished are alternative to those provided for the first degree of EQ by Belnap. A worlds semantics for FDQ is presented, and (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Ross T. Brady (1994). Rules in Relevant Logic - I: Semantic Classification. [REVIEW] Journal of Philosophical Logic 23 (2):111 - 137.score: 170.0
    We provide five semantic preservation properties which apply to the various rules -- primitive, derived and admissible -- of Hilbert-style axiomatizations of relevant logics. These preservation properties are with respect to the Routley-Meyer semantics, and consist of various truth- preservations and validity-preservations from the premises to the conclusions of these rules. We establish some deduction theorems, some persistence theorems and some soundness and completeness theorems, for these preservation properties. We then apply the above ideas, as best we can, to (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. James Garson (1989). Modularity and Relevant Logic. Notre Dame Journal of Formal Logic 30 (2):207-223.score: 170.0
    A practical system of reasoning must be both correct and efficient. An efficient system which contains a large body of information can not search for the proof of a conclusion from all information available. Efficiency requires that deduction of the conclusion be carried out in a modular way using only a relatively small and quickly identified subset of the total information. One might assume that data modularity is incompatible with correctness, where a system is correct for a logic L (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Ross T. Brady (1993). Rules in Relevant Logic — II: Formula Representation. Studia Logica 52 (4):565 - 585.score: 164.0
    This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Diderik Batens (2001). A Dynamic Characterization of the Pure Logic of Relevant Implication. Journal of Philosophical Logic 30 (3):267-280.score: 162.0
    This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual settheoretical interpretation. (ii) A proof format may (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  25. Kosta Došen (1981). A Reduction of Classical Propositional Logic to the Conjunction-Negation Fragment of an Intuitionistic Relevant Logic. Journal of Philosophical Logic 10 (4):399 - 408.score: 156.0
  26. Neil Tennant (1987). Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. Journal of Symbolic Logic 52 (3):665-680.score: 156.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Ryszard Mirek (2011). The Systems of Relevance Logic. ARGUMENT 1 (1):87-102.score: 156.0
    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 (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. J. -F. Pabion (1979). Beth's Tableaux for Relevant Logic. Notre Dame Journal of Formal Logic 20 (4):891-899.score: 156.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. John K. Slaney (1988). On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. Notre Dame Journal of Formal Logic 30 (1):117-129.score: 156.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. N. C. A. da Costa (1993). Review: Jean Norman, Richard Sylvan, Directions in Relevant Logic. [REVIEW] Journal of Symbolic Logic 58 (4):1466-1468.score: 156.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. John K. Slaney & Robert K. Meyer (1992). A Structurally Complete Fragment of Relevant Logic. Notre Dame Journal of Formal Logic 33 (4):561-566.score: 156.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Nissim Francez (2014). Bilateral Relevant Logic. Review of Symbolic Logic 7 (2):250-272.score: 156.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. N. C. A. da Costa (1993). Directions in Relevant Logic, Edited by Norman Jean and Sylvan Richard, Reason and Argument, Vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, Xii+ 453 Pp. [REVIEW] Journal of Symbolic Logic 58 (4):1466-1468.score: 156.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Robert K. Meyer (1976). Ackermann, Takeuti, and Schnitt: For Higher-Order Relevant Logic. Bulletin of the Section of Logic 5 (4):138-142.score: 156.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Robert K. Meyer & Richard Routley (1973). An Undecidable Relevant Logic. Mathematical Logic Quarterly 19 (26‐29):389-397.score: 156.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Mirosław Szatkowski (1986). Some Model‐Theoretic Results for the Relevant Logic with Quantification. Mathematical Logic Quarterly 32 (19‐24):355-363.score: 156.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Ross T. Brady (1996). Relevant Implication and the Case for a Weaker Logic. Journal of Philosophical Logic 25 (2):151 - 183.score: 150.0
    We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1):73 - 100.score: 150.0
    The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Edwin Mares (2012). Relevant Logic and the Philosophy of Mathematics. Philosophy Compass 7 (7):481-494.score: 150.0
  40. Bas C. Van Fraassen (1983). Gentlemen's Wagers: Relevant Logic and Probability. Philosophical Studies 43 (1).score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Peter Milne (1994). Intuitionistic Relevant Logic and Perfect Validity. Analysis 54 (3):140 - 142.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Reinhard Kahle (2007). Edwin D. Mares, Relevant Logic—a Philosophical Interpretation. Studia Logica 85 (3):419-424.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Raymundo Morado (1983). Deducibility Implies Relevance? A Cautious Answer (On Professor Orayen's Criticisms of Relevant Logic). Critica 15 (45):105 - 108.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. B. AÀ (2005). Mares, Edwin, Relevant Logic: A Philosophical Interpretation, Cambridge: Cambridge University Press, 2004, Pp. X Þ 229, US $65 (Cloth). [REVIEW] Australasian Journal of Philosophy 83 (4):617.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Alan Weir (1990). Relevant Logic: A Philosophical Examination of Inference. Philosophical Books 31 (1):31-33.score: 150.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Jingde Cheng (2002). Mathematical Knowledge Representation and Reasoning Based on Strong Relevant Logic. In Robert Trappl (ed.), Cybernetics and Systems. Austrian Society for Cybernetics Studies. 789--794.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  47. Bas C. Van Fraassen (1983). Gentlemen's Wagers: Relevant Logic and Probability. Philosophical Studies 43 (1):47 - 61.score: 150.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Edwin Mares (2006). Relevant Logic, Probabilistic Information, and Conditionals. Logique Et Analyse 49:399-411.score: 150.0
     
    My bibliography  
     
    Export citation  
  49. Gary W. Strong (1993). Phase Logic is Biologically Relevant Logic. Behavioral and Brain Sciences 16 (3):472.score: 150.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Vladimir L. Vasyukov (2011). Paraconsistency in Categories: Case of Relevance Logic. Studia Logica 98 (3):429-443.score: 148.0
    Categorical-theoretic semantics for the relevance logic is proposed which is based on the construction of the topos of functors from a relevant algebra (considered as a preorder category endowed with the special endofunctors) in the category of sets Set. The completeness of the relevant system R of entailment is proved in respect to the semantic considered.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000