21 found
Order:
  1.  76
    Classical relevant logics. I.R. K. Meyer - 1973 - Studia Logica 32:51.
  2.  45
    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   17 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. Dual Combinators Bite the Dust.R. K. Meyer, K. Bimbó & J. M. Dunn - 1998 - Bulletin of Symbolic Logic 4:463-464.
  6.  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  
  7. 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).
  8.  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  
  9.  17
    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  
  10. Almost Skolem forms for relevant logics.R. K. Meyer - 1981 - Logique Et Analyse 24 (95):277.
     
    Export citation  
     
    Bookmark  
  11.  64
    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.
  12.  7
    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.
  13.  14
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  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   1 citation  
  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.  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  
  17.  25
    Pure Denumerable Łukasiewiczian Implication.R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (4):575-580.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  20
    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.
  19.  23
    Pure Three-Valued Łukasiewiczian Implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.
  20.  13
    Matters of Separation.H. Leblanc & R. K. Meyer - 1972 - Notre Dame Journal of Formal Logic 13 (2):229-236.
  21.  1
    Pure Denumerable Lukasiewiczian Implication.R. K. Meyer - 1968 - Journal of Symbolic Logic 33 (2):308-308.
    Direct download  
     
    Export citation  
     
    Bookmark