Fibring labelled deduction systems (0)

by João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Venue:Journal of Logic and Computation