TW+ and RW+ are decidable. - Steve Giambrone (J. Philos. Log., 1985)

On purported Gentzen formulations of two positive relevent logics. - Steve Giambrone (Stud Logica, 1985)

A Contractionless Semilattice Semantics. - Steve Giambrone; Robert K. Meyer; Alasdair Urquhart (J. Symb. Log., 1987)

Proof Theories for Semilattice Logics. - Steve Giambrone; Alasdair Urquhart (Math. Log. Q., 1987)

Four relevant Gentzen systems. - Steve Giambrone; Aleksandar Kron (Stud Logica, 1987)

Further Results on Proof Theories For Semilattice Logics. - Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart (Math. Log. Q., 1988)

Completeness and conservative extension results for some boolean relevant logics. - Steve Giambrone; Robert K. Meyer (Stud Logica, 1989)

Real Reduced Models for Relevant Logics without WI. - Steve Giambrone (Notre Dame J. Formal Log., 1992)

Toward a science of other minds: escaping the argument by analogy. - Daniel J. Povinelli; Jesse M. Bering; Steve Giambrone (Cogn. Sci., 2000)