Robert K. Meyer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
On the Ternary Relation and Conditionality.
J. Philosophical Logic, 2012

2008
AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920).
J. Philosophical Logic, 2008

2007
The Relevant Equivalence Property.
Logic Journal of the IGPL, 2007

The Better Bubbling Lemma.
Electr. Notes Theor. Comput. Sci., 2007

2004
Ternary relations and relevant semantics.
Ann. Pure Appl. Logic, 2004

2002
The Semantics of Entailment Omega.
Notre Dame Journal of Formal Logic, 2002

2000
Computational Dialectics for Argument-Based Agent Systems.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

What Entailment Can do for Type Theory.
Proceedings of the ICALP Workshops 2000, 2000

1998
⊃E is Admissible in "true" relevant arithmetic.
J. Philosophical Logic, 1998

Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.".
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997
Combinators and Structurally Free Logic.
Logic Journal of the IGPL, 1997

Logic for Two: The Semantics of Distributive Substructural Logics.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

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

1994
The finite model property for BCK arid BCIW.
Studia Logica, 1994

1993
The semantics ofR4.
J. Philosophical Logic, 1993

1992
A Structurally Complete Fragment of Relevant Logic.
Notre Dame Journal of Formal Logic, 1992

The Admissibility of γ in R4.
Notre Dame Journal of Formal Logic, 1992

Whither Relevant Arithmetic?
J. Symb. Log., 1992

1991
Implementing the 'Fool's Model' of Combinatory Logic.
J. Autom. Reasoning, 1991

1989
Completeness and conservative extension results for some boolean relevant logics.
Studia Logica, 1989

1988
Further Results on Proof Theories For Semilattice Logics.
Math. Log. Q., 1988

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Automated theorem-proving in non-classical logics.
Research Notes in Theoretical Computer Science, Pitman, ISBN: 978-0-273-08781-6, 1988

1987
A Contractionless Semilattice Semantics.
J. Symb. Log., 1987

1986
Sentential constants in R and R⌝.
Studia Logica, 1986

Conservative Extension in Relevant Arithmetic.
Math. Log. Q., 1986

Idempotents in R.
Math. Log. Q., 1986

Logic on the Australian plan.
J. Philosophical Logic, 1986

The KRIPKE Automated Theorem Proving System.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984
Inconsistent Models for Relevant Arithmetics.
J. Symb. Log., 1984

1983
A note on ℝ-> matrices.
Notre Dame Journal of Formal Logic, 1983

The fundamental S-theorem - a corollary.
Notre Dame Journal of Formal Logic, 1983

1982
Solution to the P-W Problem.
J. Symb. Log., 1982

The ineliminability of E! in free quantification theory without identity.
J. Philosophical Logic, 1982

1980
Career induction for quantifiers.
Notre Dame Journal of Formal Logic, 1980

1979
A Note on the Admissibility of Cut in Relevant Tableau Systems.
Math. Log. Q., 1979

Career induction stops here (and here = 2).
J. Philosophical Logic, 1979

1978
On the Inconsistency of Systems Similar to F * 21.
J. Symb. Log., 1978

1977
First degree formulas in Curry's LD.
Notre Dame Journal of Formal Logic, 1977

1976
Metacompleteness.
Notre Dame Journal of Formal Logic, 1976

Negation disarmed.
Notre Dame Journal of Formal Logic, 1976

1974
Completeness of relevant quantification theories.
Notre Dame Journal of Formal Logic, 1974

Choice and descriptions in enriched intensional languages - I.
J. Philosophical Logic, 1974

New axiomatics for relevant logics, I.
J. Philosophical Logic, 1974

1973
On conserving positive logics.
Notre Dame Journal of Formal Logic, 1973

1972
On relevantly derivable disjunctions.
Notre Dame Journal of Formal Logic, 1972

Matters of separation.
Notre Dame Journal of Formal Logic, 1972

The semantics of entailment - III.
J. Philosophical Logic, 1972

The semantics of entailment - II.
J. Philosophical Logic, 1972

1970
E and S4.
Notre Dame Journal of Formal Logic, 1970

1969
E, R, and gama.
J. Symb. Log., 1969

1968
Universally Free Logic and Standard Quantification Theory.
J. Symb. Log., 1968

1966
Pure Denumerable Lukasiewiczian Implication.
J. Symb. Log., 1966

Pure Three-Valued Lukasiewiczian Implication.
J. Symb. Log., 1966


  Loading...