Robert K. Meyer

According to our database, Robert K. Meyer authored at least 54 papers between 1966 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

On the Ternary Relation and Conditionality.

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

J. Philos. Log., 2012

2008

AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920).

Robert K. Meyer

J. Philos. Log., 2008

2007

The Relevant Equivalence Property.

Lloyd Humberstone, Robert K. Meyer

Log. J. IGPL, 2007

2006

The Better Bubbling Lemma.

Robert K. Meyer

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

2004

Ternary relations and relevant semantics.

Robert K. Meyer

Ann. Pure Appl. Log., 2004

2002

The Semantics of Entailment Omega.

Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama

Notre Dame J. Formal Log., 2002

2000

Computational Dialectics for Argument-Based Agent Systems.

Hajime Sawamura, Yuichi Umeda, Robert K. Meyer

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

What Entailment Can do for Type Theory.

Robert K. Meyer

Proceedings of the ICALP Workshops 2000, 2000

1998

⊃E is Admissible in "true" relevant arithmetic.

Robert K. Meyer

J. Philos. Log., 1998

Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".

Jaques Riche, Robert K. Meyer

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997

Combinators and Structurally Free Logic.

J. Michael Dunn, Robert K. Meyer

Log. J. IGPL, 1997

Logic for Two: The Semantics of Distributive Substructural Logics.

John K. Slaney, Robert K. Meyer

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1995

Linear Analytic Tableaux.

Robert K. Meyer, Michael A. McRobbie, Nuel Belnap

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

The finite model property for BCK arid BCIW.

Robert K. Meyer, Hiroakira Ono

Stud Logica, 1994

1993

The semantics ofR4.

Edwin D. Mares, Robert K. Meyer

J. Philos. Log., 1993

1992

A Structurally Complete Fragment of Relevant Logic.

John K. Stanley, Robert K. Meyer

Notre Dame J. Formal Log., 1992

The Admissibility of γ in R4.

Edwin D. Mares, Robert K. Meyer

Notre Dame J. Formal Log., 1992

Whither Relevant Arithmetic?

Harvey Friedman, Robert K. Meyer

J. Symb. Log., 1992

1991

Implementing the 'Fool's Model' of Combinatory Logic.

Robert K. Meyer, Martin W. Bunder, Lawrence Powers

J. Autom. Reason., 1991

1989

Completeness and conservative extension results for some boolean relevant logics.

Steve Giambrone, Robert K. Meyer

Stud Logica, 1989

1988

Further Results on Proof Theories For Semilattice Logics.

Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart

Math. Log. Q., 1988

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.

Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite

Proceedings of the 9th International Conference on Automated Deduction, 1988

Automated theorem-proving in non-classical logics.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Research Notes in Theoretical Computer Science, Pitman, ISBN: 978-0-273-08781-6, 1988

1987

A Contractionless Semilattice Semantics.

Steve Giambrone, Robert K. Meyer, Alasdair Urquhart

J. Symb. Log., 1987

1986

Sentential constants in R and R⌝.

Robert K. Meyer

Stud Logica, 1986

Conservative Extension in Relevant Arithmetic.

Robert K. Meyer, Igor Urbas

Math. Log. Q., 1986

Idempotents in R.

Robert K. Meyer

Math. Log. Q., 1986

Logic on the Australian plan.

Robert K. Meyer, Errol P. Martin

J. Philos. Log., 1986

The KRIPKE Automated Theorem Proving System.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984

Inconsistent Models for Relevant Arithmetics.

Robert K. Meyer, Chris Mortensen

J. Symb. Log., 1984

1983

A note on ℝ_-> matrices.

Robert K. Meyer

Notre Dame J. Formal Log., 1983

The fundamental S-theorem - a corollary.

Robert Dwyer, Errol P. Martin, Robert K. Meyer

Notre Dame J. Formal Log., 1983

1982

Solution to the P-W Problem.

Errol P. Martin, Robert K. Meyer

J. Symb. Log., 1982

The ineliminability of E! in free quantification theory without identity.

Robert K. Meyer, Ermanno Bencivenga, Karel Lambert

J. Philos. Log., 1982

1980

Career induction for quantifiers.

Robert K. Meyer

Notre Dame J. Formal Log., 1980

1979

A Note on the Admissibility of Cut in Relevant Tableau Systems.

Michael A. McRobbie, Robert K. Meyer

Math. Log. Q., 1979

Career induction stops here (and here = 2).

Robert K. Meyer

J. Philos. Log., 1979

1978

On the Inconsistency of Systems Similar to F ^* ₂₁.

Martin W. Bunder, Robert K. Meyer

J. Symb. Log., 1978

1977

First degree formulas in Curry's LD.

Robert K. Meyer

Notre Dame J. Formal Log., 1977

1976

Metacompleteness.

Robert K. Meyer

Notre Dame J. Formal Log., 1976

Negation disarmed.

Robert K. Meyer

Notre Dame J. Formal Log., 1976

1974

Completeness of relevant quantification theories.

J. Michael Dunn, Hugues Leblanc, Robert K. Meyer

Notre Dame J. Formal Log., 1974

Choice and descriptions in enriched intensional languages - I.

Richard Routley, Robert K. Meyer, Leonard Goddard

J. Philos. Log., 1974

New axiomatics for relevant logics, I.

Robert K. Meyer

J. Philos. Log., 1974

1973

On conserving positive logics.

Robert K. Meyer

Notre Dame J. Formal Log., 1973

1972

On relevantly derivable disjunctions.

Robert K. Meyer

Notre Dame J. Formal Log., 1972

Matters of separation.

Hugues Leblanc, Robert K. Meyer

Notre Dame J. Formal Log., 1972

The semantics of entailment - III.

Richard Routley, Robert K. Meyer

J. Philos. Log., 1972

The semantics of entailment - II.

Richard Routley, Robert K. Meyer

J. Philos. Log., 1972

1970

E and S4.

Robert K. Meyer

Notre Dame J. Formal Log., 1970

1969

E, R, and gama.

Robert K. Meyer, J. Michael Dunn

J. Symb. Log., 1969

1968

Universally Free Logic and Standard Quantification Theory.

Robert K. Meyer, Karel Lambert

J. Symb. Log., 1968

1966

Pure Denumerable Lukasiewiczian Implication.

Robert K. Meyer

J. Symb. Log., 1966

Pure Three-Valued Lukasiewiczian Implication.

Storrs McCall, Robert K. Meyer

J. Symb. Log., 1966