dblp.uni-trier.dewww.uni-trier.de

Robert K. Meyer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
24EERobert K. Meyer: The Better Bubbling Lemma. Electr. Notes Theor. Comput. Sci. 171(3): 77-84 (2007)
23EELloyd Humberstone, Robert K. Meyer: The Relevant Equivalence Property. Logic Journal of the IGPL 15(2): 165-181 (2007)
2004
22EERobert 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
19EEHajime Sawamura, Yuichi Umeda, Robert K. Meyer: Computational Dialectics for Argument-Based Agent Systems. ICMAS 2000: 271-278
1998
18EEJaques Riche, Robert K. Meyer: Belnap, Urquhart and Relevant Decidability & Complexity. ``Das ist nicht Mathematik, das ist Theologie.''. CSL 1998: 224-240
1997
17EEJ. 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
10EEMichael 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
8EEPaul 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)