104 found
Order:
Disambiguations
Robert K. Meyer [104]Robert Kenneth Meyer [1]
  1. Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
     
    Export citation  
     
    Bookmark   204 citations  
  2. The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.
  3. On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  4.  9
    Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2017 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: 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 also makes clear (despite (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  5.  90
    The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
  6. The semantics of entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
  7. Curry’s Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
  8.  55
    The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.
  9.  54
    Dialectical logic, classical logic, and the consistency of the world.Richard Routley & Robert K. Meyer - 1976 - Studies in Soviet Thought 16 (1-2):1-25.
  10. Dialectical logic, classical logic, and the consistency of the world.Richard Routley & Robert K. Meyer - 1976 - Studies in East European Thought 16 (1-2):1-25.
  11.  60
    Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
  12. Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.
     
    Export citation  
     
    Bookmark   38 citations  
  13.  20
    Curry's paradox.Robert K. Meyer & Alonso Church - 1979 - Analysis 39 (3):124-128.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  14.  35
    E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  15.  92
    Logic on the australian plan.Robert K. Meyer & Errol P. Martin - 1986 - Journal of Philosophical Logic 15 (3):305 - 332.
  16.  45
    Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
  17.  28
    Metacompleteness.Robert K. Meyer - 1976 - Notre Dame Journal of Formal Logic 17 (4):501-516.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  18.  21
    Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  19.  56
    Conservative extension in relevant implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
  20.  96
    Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
    Based on the relevant logic R, the system R# was proposed as a relevant Peano arithmetic. R# has many nice properties: the most conspicuous theorems of classical Peano arithmetic PA are readily provable therein; it is readily and effectively shown to be nontrivial; it incorporates both intuitionist and classical proof methods. But it is shown here that R# is properly weaker than PA, in the sense that there is a strictly positive theorem QRF of PA which is unprovable in R#. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  21.  50
    Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  22. God exists!Robert K. Meyer - 1987 - Noûs 21 (3):345-361.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  23. Entailment.Robert K. Meyer - 1971 - Journal of Philosophy 68 (21):808-818.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  24.  59
    Entailment is not strict implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
  25.  24
    E, R and.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  26.  37
    New axiomatics for relevant logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
  27.  53
    Where gamma fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
    A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  28.  35
    Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
  29.  13
    Entailment and relevant implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
  30.  16
    On conserving positive logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.
  31.  20
    The Semantics of R4.Edwin D. Mares & Robert K. Meyer - 1993 - Journal of Philosophical Logic 22 (1):95-110.
    The Logic R4 is obtained by adding the axiom □ → to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  81
    Universally free logic and standard quantification theory.Robert K. Meyer & Karel Lambert - 1968 - Journal of Symbolic Logic 33 (1):8-26.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  33.  12
    Intuitionism, Entailment, Negation.Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-315.
  34.  38
    The semantics ofr.Edwin D. Mares & Robert K. Meyer - 1993 - Journal of Philosophical Logic 22 (1):95 - 110.
    The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  35.  38
    E, R, and $gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
  36.  9
    E, R and γ.Robert K. Meyer & J. Michael Dunn - 1971 - Journal of Symbolic Logic 36 (3):521-522.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  37.  36
    Multisets and relevant implication II.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (3):265 – 281.
  38.  33
    RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  39.  59
    The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  40. Every sentential logic has a two-valued worlds semantics.Richard Routley & Robert K. Meyer - 1976 - Logique Et Analyse 19 (74-76):345-365.
     
    Export citation  
     
    Bookmark   12 citations  
  41.  55
    Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
    This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  42.  93
    Extensional Reduction—I.Robert K. Meyer & Richard Routley - 1977 - The Monist 60 (3):355-369.
    Philosophers of modern logic have cherished no project more dearly than that of extensional reduction. Despite occasional protests that this project was ill-conceived from the start, or that it fails to account for important areas of experience and thought, the extensionalist mills have been grinding away anyhow. Their grinding has brought with it a number of important technical successes, replete with philosophical claims that light has finally been shed on areas hitherto buried in incomprehensible darkness.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43.  18
    A structurally complete fragment of relevant logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
  44. Semantics of Entailment 0.Robert K. Meyer & Edwin D. Mares - 1993 - In Peter Schroeder-Heister & Kosta Dosen (eds.), Substructural Logics. Oxford Science Publications. pp. 239-258.
  45.  47
    The admissibility of $\gamma$ in ${\rm R}4$.Edwin D. Mares & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (2):197-206.
  46.  51
    Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.
    In this paper, we shall confine ourselves to the study of sentential constants in the system R of relevant implication.In dealing with the behaviour of the sentential constants in R, we shall think of R itself as presented in three stages, depending on the level of truth-functional involvement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Relevant Logics and Their Rivals: Part 1. The Basic Philosophical and Semantical Theory.Richard Routley, Robert K. Meyer, Val Plumwood & Ross T. Brady - 1988 - Studia Logica 47 (2):169-172.
  48.  23
    Ackermann, Takeuti, and schnitt: For higher-order relevant logic.Robert K. Meyer - 1976 - Bulletin of the Section of Logic 5 (4):138-142.
  49.  18
    Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19‐20):291-295.
  50.  36
    Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19-20):291-295.
1 — 50 / 104