Analytic calculi for product logics (0)

by G Metcalfe, N Olivetti, D Gabbay
Venue:Archive for Mathematical Logic