Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard On the ternary relation and conditionality. (English) Zbl 1260.03049 J. Philos. Log. 41, No. 3, 595-612 (2012). Reviewer: Gemma Robles (León) MSC: 03B47 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{J. Beall} et al., J. Philos. Log. 41, No. 3, 595--612 (2012; Zbl 1260.03049) Full Text: DOI
Meyer, R. K.; Bunder, M. W. The D-completeness of \(\mathrm{T}_\to\). (English) Zbl 1330.03052 Australas. J. Log. 8, 1-8 (2011). MSC: 03B47 03B40 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{M. W. Bunder}, Australas. J. Log. 8, 1--8 (2011; Zbl 1330.03052) Full Text: Link
Meyer, Robert K. The better bubbling lemma. (English) Zbl 1277.03016 Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 77-84 (2007). MSC: 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer}, Electron. Notes Theor. Comput. Sci. 171, No. 3, 77--84 (2007; Zbl 1277.03016) Full Text: DOI
Pal, Koushik; Meyer, Robert K. Basic relevant theories for combinators at levels I and II. (English) Zbl 1073.03011 Australas. J. Log. 3, 14-32 (2005). MSC: 03B47 PDFBibTeX XMLCite \textit{K. Pal} and \textit{R. K. Meyer}, Australas. J. Log. 3, 14--32 (2005; Zbl 1073.03011)
Meyer, Robert K. Ternary relations and relevant semantics. (English) Zbl 1060.03039 Ann. Pure Appl. Logic 127, No. 1-3, 195-217 (2004). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B47 03B40 08A02 03-02 PDFBibTeX XMLCite \textit{R. K. Meyer}, Ann. Pure Appl. Logic 127, No. 1--3, 195--217 (2004; Zbl 1060.03039) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; Meyer, Robert K.; Motohama, Yoko The semantics of entailment omega. (English) Zbl 1042.03019 Notre Dame J. Formal Logic 43, No. 3, 129-145 (2002). MSC: 03B47 03B40 68N18 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Notre Dame J. Formal Logic 43, No. 3, 129--145 (2002; Zbl 1042.03019) Full Text: DOI
Meyer, Robert K. Improved decision procedures for pure relevant logic. (English) Zbl 1023.03014 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 305, 191-217 (2001). MSC: 03B47 03B25 PDFBibTeX XMLCite \textit{R. K. Meyer}, Synth. Libr. 305, 191--217 (2001; Zbl 1023.03014)
Mares, Edwin D.; Meyer, Robert K. Relevant logics. (English) Zbl 0999.03021 Goble, Lou (ed.), The Blackwell guide to philosophical logic. Oxford: Blackwell Publishers. Blackwell Philosophy Guides. 280-308 (2001). Reviewer: M.W.Bunder (Wollongong) MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{E. D. Mares} and \textit{R. K. Meyer}, in: The Blackwell guide to philosophical logic. Oxford: Blackwell Publishers. 280--308 (2001; Zbl 0999.03021)
Meyer, Robert K.; Restall, Greg “Strenge” arithmetics. (English) Zbl 1014.03055 Log. Anal., Nouv. Sér. 42, No. 167-168, 205-220 (1999). MSC: 03F30 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{G. Restall}, Log. Anal., Nouv. Sér. 42, No. 167--168, 205--220 (1999; Zbl 1014.03055)
Riche, Jacques; Meyer, Robert K. Kripke, Belnap, Urquhart and relevant decidability \(\&\) complexity. “Das ist nicht Mathematik. Das ist Theologie”. (English) Zbl 0939.03026 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 224-240 (1999). Reviewer: M.W.Bunder (Wollongong) MSC: 03B47 03B25 03-02 PDFBibTeX XMLCite \textit{J. Riche} and \textit{R. K. Meyer}, Lect. Notes Comput. Sci. 1584, 224--240 (1999; Zbl 0939.03026)
Meyer, Robert K. \(\supset\)E is admissible in “true” relevant arithmetic. (English) Zbl 0967.03016 J. Philos. Log. 27, No. 4, 327-351 (1998). MSC: 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer}, J. Philos. Log. 27, No. 4, 327--351 (1998; Zbl 0967.03016) Full Text: DOI
Slaney, John K.; Meyer, Robert K.; Restall, Greg Linear arithmetic desecsed. (English) Zbl 0969.03069 Log. Anal., Nouv. Sér. 39, No. 155-156, 379-387 (1996). MSC: 03F30 03B47 03B35 03F52 PDFBibTeX XMLCite \textit{J. K. Slaney} et al., Log. Anal., Nouv. Sér. 39, No. 155--156, 379--387 (1996; Zbl 0969.03069)
Meyer, Robert K. Rationalizing relevant primitives, of course! (English) Zbl 0843.03011 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 76-79 (1995). Reviewer: M.W.Bunder (Wollongong) MSC: 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 76--79 (1995; Zbl 0843.03011)
Meyer, Robert K.; Ono, Hiroakira The finite model property for BCK and BCIW. (English) Zbl 0787.03020 Stud. Log. 53, No. 1, 107-118 (1994). MSC: 03C07 03B47 06F35 03B20 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{H. Ono}, Stud. Log. 53, No. 1, 107--118 (1994; Zbl 0787.03020) Full Text: DOI
Meyer, Robert K.; Mares, Edwin D. The semantics of entailment 0. (English) Zbl 0941.03523 Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 239-258 (1994). MSC: 03B47 03B45 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{E. D. Mares}, Stud. Log. Comput. 2, 239--258 (1994; Zbl 0941.03523)
Meyer, Robert K.; Martin, Errol P. On establishing the converse. (English) Zbl 0836.03003 Log. Anal., Nouv. Sér. 35, No. 139-140, 207-222 (1992). Reviewer: G.Priest (Brisbane) MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{E. P. Martin}, Log. Anal., Nouv. Sér. 35, No. 139--140, 207--222 (1992; Zbl 0836.03003)
Slaney, John K.; Meyer, Robert K. A structurally complete fragment of relevant logic. (English) Zbl 0798.03019 Notre Dame J. Formal Logic 33, No. 4, 561-566 (1992). Reviewer: M.Urchs (Berlin) MSC: 03B47 PDFBibTeX XMLCite \textit{J. K. Slaney} and \textit{R. K. Meyer}, Notre Dame J. Formal Logic 33, No. 4, 561--566 (1992; Zbl 0798.03019) Full Text: DOI
Friedman, Harvey; Meyer, Robert K. Whither relevant arithmetic? (English) Zbl 0761.03009 J. Symb. Log. 57, No. 3, 824-831 (1992). Reviewer: G.Mints (Stanford) MSC: 03B47 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{R. K. Meyer}, J. Symb. Log. 57, No. 3, 824--831 (1992; Zbl 0761.03009) Full Text: DOI
Meyer, Robert K. Peirced clean through. (English) Zbl 0713.03010 Bull. Sect. Log., Pol. Acad. Sci. 19, No. 3, 100-101 (1990). Reviewer: S.Giambrone MSC: 03B47 03B50 PDFBibTeX XMLCite \textit{R. K. Meyer}, Bull. Sect. Logic, Pol. Acad. Sci. 19, No. 3, 100--101 (1990; Zbl 0713.03010)
Norman, Jean (ed.); Sylvan, Richard (ed.) [van Dijk, T. A.; Parks-Clifford, J.; Woods, J.; Kielkopf, C. F.; Maksimova, L.; Parry, W. T.; Angell, R. B.; Belnap, N. D. jun.; Myhill, J.; Urquhart, A.; Ulrich, D.; Parks, Z.; Byrd, M.; Bacon, J.; Fine, K.; Dunn, J. M.; Meyer, R. K.; Morgan, C. G.; Routley, R.; Freeman, J. B.; Barker, J.; Priest, Graham; Crosthwaite, J.] Directions in relevant logic. (English) Zbl 0731.03014 Reason and Argument, 1. Dordrecht etc.: Kluwer Academic Publishers. xii, 453 p. Dfl. 225.00; £72.00; $ 112.00 (1989). Reviewer: S.Giambrone (Lafayette) MSC: 03B47 03-06 00B25 03B53 03B65 03F03 03F05 PDFBibTeX XMLCite \textit{J. Norman} (ed.) and \textit{R. Sylvan} (ed.), Directions in relevant logic. Dordrecht etc.: Kluwer Academic Publishers (1989; Zbl 0731.03014)
Giambrone, Steve; Meyer, Robert K. Completeness and conservative extension results for some Boolean relevant logics. (English) Zbl 0694.03012 Stud. Log. 48, No. 1, 1-14 (1989). Reviewer: S.Giambrone MSC: 03B45 PDFBibTeX XMLCite \textit{S. Giambrone} and \textit{R. K. Meyer}, Stud. Log. 48, No. 1, 1--14 (1989; Zbl 0694.03012) Full Text: DOI
Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K. Automated theorem-proving in non-classical logics. (English) Zbl 0682.68097 Research Notes in Theoretical Computer Science. London: Pitman Publishing. 154 p. £15.95 (1988). Reviewer: U.Schöning MSC: 68T15 03F99 PDFBibTeX XML
Meyer, Robert K.; Giambrone, Steve; Urquhart, Alasdair; Martin, Errol P. Further results on proof theories for semilattice logics. (English) Zbl 0627.03006 Z. Math. Logik Grundlagen Math. 34, No. 4, 301-304 (1988). MSC: 03B45 PDFBibTeX XMLCite \textit{R. K. Meyer} et al., Z. Math. Logik Grundlagen Math. 34, No. 4, 301--304 (1988; Zbl 0627.03006) Full Text: DOI
Giambrone, Steve; Meyer, Robert K.; Urquhart, Alasdair A contractionless semilattice semantics. (English) Zbl 0624.03015 J. Symb. Log. 52, 526-529 (1987). MSC: 03B45 03C90 PDFBibTeX XMLCite \textit{S. Giambrone} et al., J. Symb. Log. 52, 526--529 (1987; Zbl 0624.03015) Full Text: DOI
Meyer, Robert K.; Martin, Errol P. Logic on the Australian plan. (English) Zbl 0614.03006 J. Philos. Logic 15, 305-332 (1986). Reviewer: G.Priest MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{R. K. Meyer} and \textit{E. P. Martin}, J. Philos. Log. 15, 305--332 (1986; Zbl 0614.03006) Full Text: DOI
Meyer, Robert K. A farewell to entailment. (English) Zbl 0624.03003 Foundations of logic and linguistics, Sel. Pap. 7th Int. Congr. Logic, Methodol. Philos. Sci., Salzburg/Austria 1983, 577-636 (1985). Reviewer: S.Giambrone MSC: 03A05 03B45 03B65 PDFBibTeX XML
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A. Advanced theorem-proving techniques for relevant logics. (English) Zbl 0612.03011 Logique Anal., Nouv. Sér. 28, 233-256 (1985). Reviewer: W.Carnielli MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{P. B. Thistlewaite} et al., Log. Anal., Nouv. Sér. 28, 233--256 (1985; Zbl 0612.03011)
Routley, R.; Routley, V.; Meyer, R. K.; Martin, E. P. On the philosophical bases of relevant logic semantics. (English) Zbl 0513.03002 J. Non-Classical Logic 1, 71-105 (1982). MSC: 03A05 PDFBibTeX XML
Meyer, R. K. Almost Skolem forms for relevant (and other) logics. (English) Zbl 0519.03010 Logique Anal., Nouv. Sér. 24, 277-289 (1981). MSC: 03B45 PDFBibTeX XMLCite \textit{R. K. Meyer}, Log. Anal., Nouv. Sér. 24, 277--289 (1981; Zbl 0519.03010)
McRobbie, Michael A.; Thistlewaite, Paul B.; Meyer, Robert K. A mechanized decision procedure for non-classical logics: The program KRIPKE. (English) Zbl 0453.03002 Bull. Sect. Logic, Pol. Acad. Sci. 9, 189-192 (1980). MSC: 03-04 03B25 03B45 68T15 PDFBibTeX XMLCite \textit{M. A. McRobbie} et al., Bull. Sect. Logic, Pol. Acad. Sci. 9, 189--192 (1980; Zbl 0453.03002)
Meyer, Robert K. Career induction for quantifiers. (English) Zbl 0423.03027 Notre Dame J. Formal Logic 21, 539-548 (1980). MSC: 03B99 PDFBibTeX XMLCite \textit{R. K. Meyer}, Notre Dame J. Formal Logic 21, 539--548 (1980; Zbl 0423.03027) Full Text: DOI
McRobbie, Michael A.; Meyer, Robert K. A note on the admissibility of cut in relevant tableau systems. (English) Zbl 0423.03015 Z. Math. Logik Grundlagen Math. 25, 511-512 (1979). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{M. A. McRobbie} and \textit{R. K. Meyer}, Z. Math. Logik Grundlagen Math. 25, 511--512 (1979; Zbl 0423.03015) Full Text: DOI