21 found
Order:
  1.  76
    Classical relevant logics. I.R. K. Meyer - 1973 - Studia Logica 32:51.
  2.  36
    Solution to the P − W Problem.E. P. Martin & R. K. Meyer - 1982 - Journal of Symbolic Logic 47 (4):869-887.
  3.  4
    Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  38
    Choice and Descriptions in Enriched Intensional Languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.
  5.  14
    Rozszerzenie Zachowawcze W Implikacji Relewantnej.R. K. Meyer - 1973 - Studia Logica 31 (1):47-47.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6. De Rijke, M., 109 Di Maio, MC, 435 Doria, FA, 553 French, S., 603.E. M. Hammer, J. Hawthorne, M. Kracht, E. Martino, J. M. Mendez, R. K. Meyer, L. S. Moss, A. Tzouvaras, J. van Benthem & F. Wolter - 1998 - Journal of Philosophical Logic 27 (661).
  7.  4
    Truth-Value Semantics for the Theory of Types.H. Leblanc & R. K. Meyer - 1970 - In Karel Lambert (ed.), Philosophical Problems in Logic. Dordrecht: Reidel. pp. 77--101.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  15
    On the Inconsistency of Systems Similar To.M. W. Bunder & R. K. Meyer - 1978 - Journal of Symbolic Logic 43 (1):1-2.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  6
    On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) — A Free Quantification Theory Without Identity.H. Leblanc & R. K. Meyer - 1970 - Mathematical Logic Quarterly 16 (8):447-462.
  10.  40
    Klasyczne Logiki Relewantne.R. K. Meyer & R. Routley - 1973 - Studia Logica 32 (1):67-67.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  19
    On the Inconsistency of Systems Similar to $Mathscr{F}^Ast_{21}$.M. W. Bunder & R. K. Meyer - 1978 - Journal of Symbolic Logic 43 (1):1-2.
  12.  23
    Pure Three-Valued Łukasiewiczian Implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.
  13.  13
    Matters of Separation.H. Leblanc & R. K. Meyer - 1972 - Notre Dame Journal of Formal Logic 13 (2):229-236.
  14. Open Formulas and the Empty Domain.H. Leblanc & R. K. Meyer - 1969 - Archive for Mathematical Logic 12 (1-2):78-84.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  6
    Pure Three-Valued Łukasiewiczian Implication.Storrs Mccall & R. K. Meyer - 1968 - Journal of Symbolic Logic 33 (1):133-134.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Almost Skolem forms for relevant logics.R. K. Meyer - 1981 - Logique Et Analyse 24 (95):277.
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Dual Combinators Bite the Dust.R. K. Meyer, K. Bimbó & J. M. Dunn - 1998 - Bulletin of Symbolic Logic 4:463-464.
  18.  1
    Pure Denumerable Lukasiewiczian Implication.R. K. Meyer - 1968 - Journal of Symbolic Logic 33 (2):308-308.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  25
    Pure Denumerable Łukasiewiczian Implication.R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (4):575-580.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
    A Hilbert-style version of an implicational logic can be represented by a set of axiom schemes and modus ponens or by the corresponding axioms, modus ponens and substitution. Certain logics, for example the intuitionistic implicational logic, can also be represented by axioms and the rule of condensed detachment, which combines modus ponens with a minimal form of substitution. Such logics, for example intuitionistic implicational logic, are said to be D-complete. For certain weaker logics, the version based on condensed detachment and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  63
    Relevant Logics and Their Semantics Remain Viable and Undamaged by Lewis's Equivocation Charge.R. Routley & R. K. Meyer - 1983 - Topoi 2 (2):205-215.