Robert K. Meyer

2007
24	EE	Robert K. Meyer: The Better Bubbling Lemma. Electr. Notes Theor. Comput. Sci. 171(3): 77-84 (2007)
23	EE	Lloyd Humberstone, Robert K. Meyer: The Relevant Equivalence Property. Logic Journal of the IGPL 15(2): 165-181 (2007)
2004
22	EE	Robert K. Meyer: Ternary relations and relevant semantics. Ann. Pure Appl. Logic 127(1-3): 195-217 (2004)
2002
21		Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama: The Semantics of Entailment Omega. Notre Dame Journal of Formal Logic 43(3): 129-145 (2002)
2000
20		Robert K. Meyer: What Entailment Can do for Type Theory. ICALP Satellite Workshops 2000: 355-356
19	EE	Hajime Sawamura, Yuichi Umeda, Robert K. Meyer: Computational Dialectics for Argument-Based Agent Systems. ICMAS 2000: 271-278
1998
18		Jaques Riche, Robert K. Meyer: Belnap, Urquhart and Relevant Decidability & Complexity. ``Das ist nicht Mathematik, das ist Theologie.''. CSL 1998: 224-240
1997
17	EE	J. Michael Dunn, Robert K. Meyer: Combinators and Structurally Free Logic. Logic Journal of the IGPL 5(4): (1997)
1995
16		Robert K. Meyer, Michael A. McRobbie, Nuel Belnap: Linear Analytic Tableaux. TABLEAUX 1995: 278-293
1994
15		Robert K. Meyer, H. Ono: The finite model property for BCK arid BCIW. Studia Logica 53(1): 107-118 (1994)
1992
14		Harvey Friedman, Robert K. Meyer: Whither Relevant Arithmetic? J. Symb. Log. 57(3): 824-831 (1992)
13		Edwin D. Mares, Robert K. Meyer: The Admissibility of Gama in R4. Notre Dame Journal of Formal Logic 33(2): 197-206 (1992)
12		John K. Stanley, Robert K. Meyer: A Structurally Complete Fragment of Relevant Logic. Notre Dame Journal of Formal Logic 33(4): 561-566 (1992)
1991
11		Robert K. Meyer, Martin W. Bunder, Lawrence Powers: Implementing the `Fool's Model' of Combinatory Logic. J. Autom. Reasoning 7(4): 597-630 (1991)
1988
10		Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite: Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE 1988: 197-217
1987
9		Steve Giambrone, Robert K. Meyer, Alasdair Urquhart: A Contractionless Semilattice Semantics. J. Symb. Log. 52(2): 526-529 (1987)
1986
8		Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer: The KRIPKE Automated Theorem Proving System. CADE 1986: 705-706
1984
7		Robert K. Meyer, Chris Mortensen: Inconsistent Models for Relevant Arithmetics. J. Symb. Log. 49(3): 917-929 (1984)
1982
6		E. P. Martin, Robert K. Meyer: Solution to the P-W Problem. J. Symb. Log. 47(4): 869-887 (1982)
1978
5		Martin W. Bunder, Robert K. Meyer: On the Inconsistency of Systems Similar to F * 21. J. Symb. Log. 43(1): 1-2 (1978)
1969
4		Robert K. Meyer, J. Michael Dunn: E, R, and gama. J. Symb. Log. 34(3): 460-474 (1969)
1968
3		Robert K. Meyer, Karel Lambert: Universally Free Logic and Standard Quantification Theory. J. Symb. Log. 33(1): 8-26 (1968)
1966
2		Storrs McCall, Robert K. Meyer: Pure Three-Valued Lukasiewiczian Implication. J. Symb. Log. 31(3): 399-405 (1966)
1		Robert K. Meyer: Pure Denumerable Lukasiewiczian Implication. J. Symb. Log. 31(4): 575-580 (1966)

Coauthor Index

1	Nuel Belnap	[16]
2	Martin W. Bunder	[5] [11]
3	Mariangiola Dezani-Ciancaglini	[21]
4	J. Michael Dunn	[4] [17]
5	Harvey M. Friedman (Harvey Friedman)	[14]
6	Steve Giambrone	[9]
7	Lloyd Humberstone	[23]
8	Karel Lambert	[3]
9	Edwin D. Mares	[13]
10	E. P. Martin	[6]
11	Storrs McCall	[2]
12	Michael A. McRobbie	[8] [10] [16]
13	Chris Mortensen	[7]
14	Yoko Motohama	[21]
15	H. Ono	[15]
16	Lawrence Powers	[11]
17	Jaques Riche	[18]
18	Hajime Sawamura	[19]
19	John K. Stanley	[12]
20	Paul B. Thistlewaite	[8] [10]
21	Yuichi Umeda	[19]
22	Alasdair Urquhart	[9]

Colors in the list of coauthors