Robert K. Meyer

Publication Activity (10 Years)

Years Active: 1966-2012
Publications (10 Years): 0

Top Topics

Equivalence Relation

Top Venues

J. Philos. Log.

Publications

J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan
On the Ternary Relation and Conditionality. J. Philos. Log. 41 (3) (2012)
Robert K. Meyer
AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920). J. Philos. Log. 37 (2) (2008)
Robert K. Meyer
The Better Bubbling Lemma. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Lloyd Humberstone, Robert K. Meyer
The Relevant Equivalence Property. Log. J. IGPL 15 (2) (2007)
Robert K. Meyer
Ternary relations and relevant semantics. Ann. Pure Appl. Log. 127 (1-3) (2004)
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
The Semantics of Entailment Omega. Notre Dame J. Formal Log. 43 (3) (2002)
Hajime Sawamura, Yuichi Umeda, Robert K. Meyer
Computational Dialectics for Argument-Based Agent Systems. ICMAS (2000)
Robert K. Meyer
What Entailment Can do for Type Theory. ICALP Satellite Workshops (2000)
Robert K. Meyer
⊃E is Admissible in "true" relevant arithmetic. J. Philos. Log. 27 (4) (1998)
Jaques Riche, Robert K. Meyer
Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.". CSL (1998)
J. Michael Dunn, Robert K. Meyer
Combinators and Structurally Free Logic. Log. J. IGPL 5 (4) (1997)
John K. Slaney, Robert K. Meyer
Logic for Two: The Semantics of Distributive Substructural Logics. ECSQARU-FAPR (1997)
Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
Linear Analytic Tableaux. TABLEAUX (1995)
Robert K. Meyer, Hiroakira Ono
The finite model property for BCK arid BCIW. Stud Logica 53 (1) (1994)
Edwin D. Mares, Robert K. Meyer
The semantics ofR4. J. Philos. Log. 22 (1) (1993)
John K. Stanley, Robert K. Meyer
A Structurally Complete Fragment of Relevant Logic. Notre Dame J. Formal Log. 33 (4) (1992)
Edwin D. Mares, Robert K. Meyer
The Admissibility of γ in R4. Notre Dame J. Formal Log. 33 (2) (1992)
Harvey Friedman, Robert K. Meyer
Whither Relevant Arithmetic? J. Symb. Log. 57 (3) (1992)
Robert K. Meyer, Martin W. Bunder, Lawrence Powers
Implementing the 'Fool's Model' of Combinatory Logic. J. Autom. Reason. 7 (4) (1991)
Steve Giambrone, Robert K. Meyer
Completeness and conservative extension results for some boolean relevant logics. Stud Logica 48 (1) (1989)
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE (1988)
Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart
Further Results on Proof Theories For Semilattice Logics. Math. Log. Q. 34 (4) (1988)
Steve Giambrone, Robert K. Meyer, Alasdair Urquhart
A Contractionless Semilattice Semantics. J. Symb. Log. 52 (2) (1987)
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
The KRIPKE Automated Theorem Proving System. CADE (1986)
Robert K. Meyer, Igor Urbas
Conservative Extension in Relevant Arithmetic. Math. Log. Q. 32 (1-5) (1986)
Robert K. Meyer
Idempotents in R. Math. Log. Q. 32 (25-30) (1986)
Robert K. Meyer, Errol P. Martin
Logic on the Australian plan. J. Philos. Log. 15 (3) (1986)
Robert K. Meyer
Sentential constants in R and R⌝. Stud Logica 45 (3) (1986)
Robert K. Meyer, Chris Mortensen
Inconsistent Models for Relevant Arithmetics. J. Symb. Log. 49 (3) (1984)
Robert K. Meyer
matrices. Notre Dame J. Formal Log. 24 (4) (1983)
Robert Dwyer, Errol P. Martin, Robert K. Meyer
The fundamental S-theorem - a corollary. Notre Dame J. Formal Log. 24 (4) (1983)
Errol P. Martin, Robert K. Meyer
Solution to the P-W Problem. J. Symb. Log. 47 (4) (1982)
Robert K. Meyer, Ermanno Bencivenga, Karel Lambert
The ineliminability of E! in free quantification theory without identity. J. Philos. Log. 11 (2) (1982)
Robert K. Meyer
Career induction for quantifiers. Notre Dame J. Formal Log. 21 (3) (1980)
Robert K. Meyer
Career induction stops here (and here = 2). J. Philos. Log. 8 (1) (1979)
Michael A. McRobbie, Robert K. Meyer
A Note on the Admissibility of Cut in Relevant Tableau Systems. Math. Log. Q. 25 (32) (1979)
Martin W. Bunder, Robert K. Meyer
. J. Symb. Log. 43 (1) (1978)
Robert K. Meyer
First degree formulas in Curry's LD. Notre Dame J. Formal Log. 18 (1) (1977)
Robert K. Meyer
Metacompleteness. Notre Dame J. Formal Log. 17 (4) (1976)
Robert K. Meyer
Negation disarmed. Notre Dame J. Formal Log. 17 (2) (1976)
Robert K. Meyer
New axiomatics for relevant logics, I. J. Philos. Log. 3 (1-2) (1974)
Richard Routley, Robert K. Meyer, Leonard Goddard
Choice and descriptions in enriched intensional languages - I. J. Philos. Log. 3 (3) (1974)
J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
Completeness of relevant quantification theories. Notre Dame J. Formal Log. 15 (1) (1974)
Robert K. Meyer
On conserving positive logics. Notre Dame J. Formal Log. 14 (2) (1973)
Richard Routley, Robert K. Meyer
The semantics of entailment - III. J. Philos. Log. 1 (2) (1972)
Robert K. Meyer
On relevantly derivable disjunctions. Notre Dame J. Formal Log. 13 (4) (1972)
Hugues Leblanc, Robert K. Meyer
Matters of separation. Notre Dame J. Formal Log. 13 (2) (1972)
Richard Routley, Robert K. Meyer
The semantics of entailment - II. J. Philos. Log. 1 (1) (1972)
Robert K. Meyer
E and S4. Notre Dame J. Formal Log. 11 (2) (1970)
Robert K. Meyer, J. Michael Dunn
E, R, and gama. J. Symb. Log. 34 (3) (1969)
Robert K. Meyer, Karel Lambert
Universally Free Logic and Standard Quantification Theory. J. Symb. Log. 33 (1) (1968)
Robert K. Meyer
Pure Denumerable Lukasiewiczian Implication. J. Symb. Log. 31 (4) (1966)
Storrs McCall, Robert K. Meyer
Pure Three-Valued Lukasiewiczian Implication. J. Symb. Log. 31 (3) (1966)