105 found
Order:
Disambiguations
Robert K. Meyer [105]Robert Kenneth Meyer [1]
  1. Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
     
    Export citation  
     
    My bibliography   85 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  
     
    My bibliography   10 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.  61
    The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
  5.  63
    The Semantics of Entailment—II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
  6.  89
    Curry's Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  7. God Exists!Robert K. Meyer - 1987 - Noûs 21 (3):345-361.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  8. Algebraic Analysis of Entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15:407-428.
     
    Export citation  
     
    My bibliography   21 citations  
  9.  51
    Classical Relevant Logics. I.Robert K. Meyer & Richard Routley - 1973 - Studia Logica 32 (1):51 - 68.
  10.  22
    Classical Relevant Logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.
  11.  24
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  12.  72
    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.
  13.  30
    Inconsistent Models for Relevant Arithmetics.Robert K. Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  14. Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer - 1988 - Pitman Publishing.
  15. In Memoriam: Richard (Routley) Sylvan, 1935-1996.Robert K. Meyer - 1998 - Bulletin of Symbolic Logic 4 (3):338-340.
  16.  24
    Completeness of Relevant Quantification Theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  17. 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  
     
    My bibliography   6 citations  
  18.  12
    Metacompleteness.Robert K. Meyer - 1976 - Notre Dame Journal of Formal Logic 17 (4):501-516.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  19.  40
    The Finite Model Property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    This paper shows that both implicational logics BCK and BCIW have the finite model property. The proof of the finite model property for BCIW, which is equal to the relevant logic $\text{R}_{\rightarrow}$, was originally given by the first author in his unpublished paper [6] in 1973. The finite model property for BCK can be obtained by modifying the proof of that for BCIW. Here, both of these proofs will be given in a unified form and the difference between them will (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  20.  23
    E, R, and $Gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
  21.  23
    Conservative Extension in Relevant Implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.
  22.  20
    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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23.  25
    The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1977 - Journal of Symbolic Logic 42 (2):315-316.
  24.  47
    Extensional Reduction—I.Robert K. Meyer & Richard Routley - 1977 - The Monist 60 (3):355-369.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  25.  25
    Multisets and Relevant Implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
  26.  31
    New Axiomatics for Relevant Logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  27.  27
    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  
     
    My bibliography   7 citations  
  28.  56
    Entailment.Robert K. Meyer - 1971 - Journal of Philosophy 68 (21):808-818.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  29.  21
    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.
  30.  43
    Entailment is Not Strict Implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  31.  34
    Logic on the Australian Plan.Robert K. Meyer & Errol P. Martin - 1986 - Journal of Philosophical Logic 15 (3):305 - 332.
  32.  2
    E and S4.Robert K. Meyer - 1970 - Notre Dame Journal of Formal Logic 11 (2):181-199.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  33.  13
    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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  34.  2
    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  
     
    My bibliography   1 citation  
  35.  12
    A Structurally Complete Fragment of Relevant Logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  36.  34
    Relevant Arithmetic.Robert K. Meyer - 1976 - Bulletin of the Section of Logic 5 (4):133-135.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  37.  39
    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 (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  38. 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  
     
    My bibliography   8 citations  
  39.  47
    Universally Free Logic and Standard Quantification Theory.Robert K. Meyer & Karel Lambert - 1968 - Journal of Symbolic Logic 33 (1):8-26.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  40.  13
    RI the Bounds of Finitude.Robert K. Meyer - 1970 - Mathematical Logic Quarterly 16 (7):385-387.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  41. Entailment and Relevant Implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
     
    Export citation  
     
    My bibliography   9 citations  
  42.  15
    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  
     
    My bibliography   3 citations  
  43.  26
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  44.  35
    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  
     
    My bibliography   3 citations  
  45.  66
    Syntactical Treatment of Negation.Robert K. Meyer - 1980 - Analysis 40 (2):74 - 78.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  11
    E, R, and Γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  47.  29
    E is a Conservative Extension of Eī.Robert K. Meyer & Richard Routley - 1974 - Philosophia 4 (2-3):223-249.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  48.  9
    The Fundamental ${\Rm S}$-Theorem---A Corollary.Robert K. Meyer, Errol P. Martin & Robert Dwyer - 1983 - Notre Dame Journal of Formal Logic 24 (4):509-516.
  49.  20
    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.
  50.  10
    Multisets and Relevant Implication II.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (3):265 – 281.
1 — 50 / 105