completeness proofs for some logics of conditionals (1981)

by John Burgess, Quick
Venue:Notre Dame J. of Formal Logic