The undecidability of entailment and relevant implication (1984)

by Alasdair Urquhart
Venue:Journal of Symbolic Logic