Peter Roeper Hugues Leblanc Consequence and Confirmation. 341-363 1995 36 Notre Dame Journal of Formal Logic 3 db/journals/ndjfl/ndjfl36.html#RoeperL95