103 found
Order:
Disambiguations
Robert K. Meyer [103]Robert Kenneth Meyer [1]
  1. Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
     
    Export citation  
     
    Bookmark   114 citations  
  2. On the Ternary Relation and Conditionality.Jc Beall, Ross Brady, J. Michael Dunn, A. P. Hazen, Edwin 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   19 citations  
  3. The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hughes Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam: North-Holland Publishing Company. pp. 199-243.
  4.  68
    The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
  5.  96
    Curry's Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
  6.  69
    The Semantics of Entailment—II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
  7. Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell. pp. 280--308.
     
    Export citation  
     
    Bookmark   14 citations  
  8.  11
    Rolf Schock. On Finitely Many-Valued Logics. Logique Et Analyse, N.S. Vol. 7 , Pp. 43–58. Errata. Ibid., P. 195. - Rolf Schock. On Denumerably Many-Valued Logics.Logique Et Analyse, N.S. Vol. 7 , Pp. 190–195. - R. Schock. Some Theorems on the Relative Strengths of Many-Valued Logics.Logique Et Analyse, N.S. Vol. 8 , Pp. 101–104. [REVIEW]Robert K. Meyer - 1970 - Journal of Symbolic Logic 35 (1):140-142.
  9.  76
    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.
  10.  32
    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.
  11.  27
    Classical Relevant Logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
  12. Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  13.  38
    The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.
  14. Algebraic Analysis of Entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15:407-428.
     
    Export citation  
     
    Bookmark   23 citations  
  15. God Exists!Robert K. Meyer - 1987 - Noûs 21 (3):345-361.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  35
    Inconsistent Models for Relevant Arithmetics.Robert K. Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
  17.  14
    Metacompleteness.Robert K. Meyer - 1976 - Notre Dame Journal of Formal Logic 17 (4):501-516.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  18.  2
    Curry's Paradox.Robert K. Meyer & Alonso Church - 1979 - Analysis 39 (3):124.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  30
    Completeness of Relevant Quantification Theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
  20.  25
    Ternary Relations and Relevant Semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.
    Modus ponens provides the central theme. There are laws, of the form A→C. A logic L collects such laws. Any datum A provides input to the laws of L. The central ternary relation R relates theories L,T and U, where U consists of all of the outputs C got by applying modus ponens to major premises from L and minor premises from T. Underlying this relation is a modus ponens product operation on theories L and T, whence RLTU iff LTU. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  64
    Entailment.Robert K. Meyer - 1971 - Journal of Philosophy 68 (21):808-818.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  22.  35
    Conservative Extension in Relevant Implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
  23.  32
    Multisets and Relevant Implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  24. In Memoriam: Richard (Routley) Sylvan, 1935-1996.Robert K. Meyer - 1998 - Bulletin of Symbolic Logic 4 (3):338-340.
  25.  47
    Logic on the Australian Plan.Robert K. Meyer & Errol P. Martin - 1986 - Journal of Philosophical Logic 15 (3):305 - 332.
  26.  20
    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   15 citations  
  27.  24
    Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):225-230.
  28.  49
    The Finite Model Property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  60
    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   6 citations  
  30.  33
    New Axiomatics for Relevant Logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
  31.  62
    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   8 citations  
  32.  26
    E, R, and $Gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
  33.  50
    Entailment is Not Strict Implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
  34.  11
    E, R And.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  35.  32
    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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  43
    Relevant Arithmetic.Robert K. Meyer - 1976 - Bulletin of the Section of Logic 5 (4):133-135.
  37.  13
    A Structurally Complete Fragment of Relevant Logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
  38.  8
    On Conserving Positive Logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.
  39.  32
    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.
  40. Entailment and Relevant Implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
     
    Export citation  
     
    Bookmark   12 citations  
  41.  50
    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   9 citations  
  42.  45
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43. 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   9 citations  
  44.  16
    The Semantics of Entailment Omega.Yoko Motohama, Robert K. Meyer & Mariangiola Dezani-Ciancaglini - 2002 - Notre Dame Journal of Formal Logic 43 (3):129-145.
    This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  22
    RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
  46.  27
    Independent Axioms for the Implicational Fragment of Sobociński's Three-Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (19-20):291-295.
  47.  13
    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   3 citations  
  48.  24
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  65
    “Strenge” Arithmetics.Robert K. Meyer & Greg Restall - unknown
    In Entailment, Anderson and Belnap motivated their modification E of Ackermann’s strenge Implikation Π Π’ as a logic of relevance and necessity. The kindred system R was seen as relevant but not as modal. Our systems of Peano arithmetic R# and omega arithmetic R## were based on R to avoid fallacies of relevance. But problems arose as to which arithmetic sentences were (relevantly) true. Here we base analogous systems on E to solve those problems. Central to motivating E is the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  41
    E is a Conservative Extension of Eī.Robert K. Meyer & Richard Routley - 1974 - Philosophia 4 (2-3):223-249.
1 — 50 / 103