Robert K. Meyer

62 papers A 2B 2Journal 53Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Alien Intruders in Relevant Arithmetic. Australas. J. Log. Robert K. Meyer, Chris Mortensen
2021	J	`jnl`	Arithmetic Formulated Relevantly. Australas. J. Log. Robert K. Meyer
2021	J	`jnl`	Inconsistent Models for Relevant Arithmetics. Australas. J. Log. Robert K. Meyer, Chris Mortensen
2021	J	`jnl`	Relevant Arithmetic. Australas. J. Log. Robert K. Meyer
2021	J	`jnl`	The Consistency of Arithmetic. Australas. J. Log. Robert K. Meyer
2019	J	`jnl`	S (for Syllogism) Revisited: "The Revolution Devours its Children". Australas. J. Log. Robert K. Meyer, Errol P. Martin
2012	J	`jnl`	On the Ternary Relation and Conditionality. J. Philos. Log. 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
2010	J	`jnl`	The D-Completeness of T→. Australas. J. Log. Robert K. Meyer, Martin W. Bunder
2008	J	`jnl`	AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920). J. Philos. Log. Robert K. Meyer
2007	J	`jnl`	The Relevant Equivalence Property. Log. J. IGPL Lloyd Humberstone, Robert K. Meyer
2006	—	`conf`	The Better Bubbling Lemma. DCM@ICALP Robert K. Meyer
2005	J	`jnl`	Basic Relevant Theories for Combinators at Levels I and II. Australas. J. Log. Koushik Pal, Robert K. Meyer
2004	J	`jnl`	Ternary relations and relevant semantics. Ann. Pure Appl. Log. Robert K. Meyer
2002	J	`jnl`	The Semantics of Entailment Omega. Notre Dame J. Formal Log. Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
2000	—	`conf`	Computational Dialectics for Argument-Based Agent Systems. ICMAS Hajime Sawamura, Yuichi Umeda, Robert K. Meyer
2000	—	`conf`	What Entailment Can do for Type Theory. ICALP Satellite Workshops Robert K. Meyer
1998	B	`conf`	Belnap, Urquhart and Relevant Decidability & Complexity. "Das ist nicht Mathematik, das ist Theologie.". CSL Jacques Riche, Robert K. Meyer
1998	J	`jnl`	⊃E is Admissible in "true" relevant arithmetic. J. Philos. Log. Robert K. Meyer
1997	J	`jnl`	Combinators and Structurally Free Logic. Log. J. IGPL J. Michael Dunn, Robert K. Meyer
1997	—	`conf`	Logic for Two: The Semantics of Distributive Substructural Logics. ECSQARU-FAPR John K. Slaney, Robert K. Meyer
1995	B	`conf`	Linear Analytic Tableaux. TABLEAUX Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
1994	J	`jnl`	The finite model property for BCK arid BCIW. Stud Logica Robert K. Meyer, Hiroakira Ono
1993	J	`jnl`	The semantics ofR4. J. Philos. Log. Edwin D. Mares, Robert K. Meyer
1992	J	`jnl`	A Structurally Complete Fragment of Relevant Logic. Notre Dame J. Formal Log. John K. Stanley, Robert K. Meyer
1992	J	`jnl`	The Admissibility of γ in R4. Notre Dame J. Formal Log. Edwin D. Mares, Robert K. Meyer
1992	J	`jnl`	Whither Relevant Arithmetic? J. Symb. Log. Harvey Friedman, Robert K. Meyer
1991	J	`jnl`	Implementing the 'Fool's Model' of Combinatory Logic. J. Autom. Reason. Robert K. Meyer, Martin W. Bunder, Lawrence Powers
1989	J	`jnl`	Completeness and conservative extension results for some boolean relevant logics. Stud Logica Steve Giambrone, Robert K. Meyer
1988	—	`book`	Automated theorem-proving in non-classical logics. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
1988	J	`jnl`	Further Results on Proof Theories For Semilattice Logics. Math. Log. Q. Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart
1988	A	`conf`	Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
1987	J	`jnl`	A Contractionless Semilattice Semantics. J. Symb. Log. Steve Giambrone, Robert K. Meyer, Alasdair Urquhart
1986	J	`jnl`	Conservative Extension in Relevant Arithmetic. Math. Log. Q. Robert K. Meyer, Igor Urbas
1986	J	`jnl`	Idempotents in R. Math. Log. Q. Robert K. Meyer
1986	J	`jnl`	Logic on the Australian plan. J. Philos. Log. Robert K. Meyer, Errol P. Martin
1986	J	`jnl`	Sentential constants in R and R⌝. Stud Logica Robert K. Meyer
1986	A	`conf`	The KRIPKE Automated Theorem Proving System. CADE Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
1984	J	`jnl`	Inconsistent Models for Relevant Arithmetics. J. Symb. Log. Robert K. Meyer, Chris Mortensen
1983	J	`jnl`	A note on ℝ Notre Dame J. Formal Log. Robert K. Meyer
1983	J	`jnl`	The fundamental S-theorem - a corollary. Notre Dame J. Formal Log. Robert Dwyer, Errol P. Martin, Robert K. Meyer
1982	J	`jnl`	Solution to the P-W Problem. J. Symb. Log. Errol P. Martin, Robert K. Meyer
1982	J	`jnl`	The ineliminability of E! in free quantification theory without identity. J. Philos. Log. Robert K. Meyer, Ermanno Bencivenga, Karel Lambert
1980	J	`jnl`	Career induction for quantifiers. Notre Dame J. Formal Log. Robert K. Meyer
1979	J	`jnl`	A Note on the Admissibility of Cut in Relevant Tableau Systems. Math. Log. Q. Michael A. McRobbie, Robert K. Meyer
1979	J	`jnl`	Career induction stops here (and here = 2). J. Philos. Log. Robert K. Meyer
1978	J	`jnl`	On the Inconsistency of Systems Similar to F J. Symb. Log. Martin W. Bunder, Robert K. Meyer
1977	J	`jnl`	First degree formulas in Curry's LD. Notre Dame J. Formal Log. Robert K. Meyer
1976	J	`jnl`	Metacompleteness. Notre Dame J. Formal Log. Robert K. Meyer
1976	J	`jnl`	Negation disarmed. Notre Dame J. Formal Log. Robert K. Meyer
1974	J	`jnl`	Choice and descriptions in enriched intensional languages - I. J. Philos. Log. Richard Routley, Robert K. Meyer, Leonard Goddard
1974	J	`jnl`	Completeness of relevant quantification theories. Notre Dame J. Formal Log. J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
1974	J	`jnl`	New axiomatics for relevant logics, I. J. Philos. Log. Robert K. Meyer
1973	J	`jnl`	On conserving positive logics. Notre Dame J. Formal Log. Robert K. Meyer
1972	J	`jnl`	Matters of separation. Notre Dame J. Formal Log. Hugues Leblanc, Robert K. Meyer
1972	J	`jnl`	On relevantly derivable disjunctions. Notre Dame J. Formal Log. Robert K. Meyer
1972	J	`jnl`	The semantics of entailment - II. J. Philos. Log. Richard Routley, Robert K. Meyer
1972	J	`jnl`	The semantics of entailment - III. J. Philos. Log. Richard Routley, Robert K. Meyer
1970	J	`jnl`	E and S4. Notre Dame J. Formal Log. Robert K. Meyer
1969	J	`jnl`	E, R, and gama. J. Symb. Log. Robert K. Meyer, J. Michael Dunn
1968	J	`jnl`	Universally Free Logic and Standard Quantification Theory. J. Symb. Log. Robert K. Meyer, Karel Lambert
1966	J	`jnl`	Pure Denumerable Lukasiewiczian Implication. J. Symb. Log. Robert K. Meyer
1966	J	`jnl`	Pure Three-Valued Lukasiewiczian Implication. J. Symb. Log. Storrs McCall, Robert K. Meyer