Natural deduction and sequent calculus for intuitionistic relevant logic

From MaRDI portal
Publication:3797160