A ‘Gentzen’ System for Positive Relevant Implication (1974)

by J MICHAEL DUNN
Venue:Journal of Symbolic Logic