19 found
Order:
  1.  18
    Solution to the P-W Problem.E. P. Martin & R. K. Meyer - 1982 - Journal of Symbolic Logic 47 (4):869-887.
  2.  20
    Choice and Descriptions in Enriched Intensional Languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.
  3.  15
    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).
  4.  9
    Rozszerzenie Zachowawcze W Implikacji Relewantnej.R. K. Meyer - 1973 - Studia Logica 31 (1):47-47.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  54
    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.
  6. Classical relevant logics.R. K. Meyer - 1973 - Studia Logica 32:51.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  7. Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  2
    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.
  9. Dual Combinators Bite the Dust.R. K. Meyer, K. Bimbó & J. M. Dunn - 1998 - Bulletin of Symbolic Logic 4:463-464.
  10.  25
    Klasyczne Logiki Relewantne.R. K. Meyer & R. Routley - 1973 - Studia Logica 32 (1):67-67.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  7
    Matters of Separation.H. Leblanc & R. K. Meyer - 1972 - Notre Dame Journal of Formal Logic 13 (2):229-236.
  12. The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2010 - Australasian Journal of Logic 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 (...)
     
    Export citation  
     
    My bibliography  
  13.  1
    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.
  14.  7
    Pure Denumerable Łukasiewiczian Implication.R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (4):575-580.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  15.  8
    Pure Three-Valued Łukasiewiczian Implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.
  16.  5
    On the Inconsistency of Systems Similar to F*21.M. W. Bunder & R. K. Meyer - 1978 - Journal of Symbolic Logic 43 (1):1 - 2.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  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 (2 more)  
     
    Export citation  
     
    My bibliography  
  18. 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  
     
    My bibliography  
  19. Almost Skolem forms for relevant logics.R. K. Meyer - 1981 - Logique Et Analyse 24 (95):277.
    Translate
     
     
    Export citation  
     
    My bibliography