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   125 citations  
  2. 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.
  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 (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  4.  74
    The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
  5.  87
    The Semantics of Entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
  6. Curry's Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
  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   16 citations  
  8.  83
    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.
  9.  34
    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.  42
    The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.
  11. God Exists!Robert K. Meyer - 1987 - Noûs 21 (3):345-361.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  33
    Classical Relevant Logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
  13.  38
    Inconsistent Models for Relevant Arithmetics.Robert K. Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
  14. Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  15. Algebraic Analysis of Entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15:407-428.
     
    Export citation  
     
    Bookmark   23 citations  
  16.  33
    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.  16
    Metacompleteness.Robert K. Meyer - 1976 - Notre Dame Journal of Formal Logic 17 (4):501-516.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  18.  53
    Logic on the Australian Plan.Robert K. Meyer & Errol P. Martin - 1986 - Journal of Philosophical Logic 15 (3):305 - 332.
  19.  8
    Curry's Paradox.Robert K. Meyer & Alonso Church - 1979 - Analysis 39 (3):124.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  20.  65
    Entailment.Robert K. Meyer - 1971 - Journal of Philosophy 68 (21):808-818.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  21.  39
    Conservative Extension in Relevant Implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
  22.  30
    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  
  23.  4
    Entailment and Relevant Implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
  24. In Memoriam: Richard (Routley) Sylvan, 1935-1996.Robert K. Meyer - 1998 - Bulletin of Symbolic Logic 4 (3):338-340.
  25.  48
    Relevant Arithmetic.Robert K. Meyer - 1976 - Bulletin of the Section of Logic 5 (4):133-135.
  26.  24
    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   16 citations  
  27.  52
    Entailment is Not Strict Implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
  28.  26
    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.
  29.  33
    Multisets and Relevant Implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  30.  38
    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   10 citations  
  31.  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   7 citations  
  32.  69
    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   9 citations  
  33.  34
    New Axiomatics for Relevant Logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
  34.  14
    E, R And.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  35.  53
    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   6 citations  
  36.  9
    On Conserving Positive Logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.
  37.  28
    E, R, and $Gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
  38.  14
    A Structurally Complete Fragment of Relevant Logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
  39.  54
    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   10 citations  
  40.  31
    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   5 citations  
  41.  15
    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   5 citations  
  42.  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.
  43.  48
    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   5 citations  
  44.  24
    RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
  45.  17
    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.
  46.  19
    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  
  47. 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  
  48.  42
    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   4 citations  
  49. 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.
  50.  8
    Basic Relevant Theories for Combinators at Levels I and II.Koushik Pal & Robert K. Meyer - 2005 - Australasian Journal of Logic 3:14-32.
    The system B+ is the minimal positive relevant logic. B+ is trivially extended to B+T on adding a greatest truth T. If we leave ∨ out of the formation apparatus, we get the fragment B∧T. It is known that the set of ALL B∧T theories provides a good model for the combinators CL at Level-I, which is the theory level. Restoring ∨ to get back B+T was not previously fruitful at Level-I, because the set of all B+T theories is NOT (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 103