Natural deduction for non-classical logics (1998)

by D Basin, S Matthews, L Viganò
Venue:Studia Logica