Analytic Sequent Calculi for Abelian and ukasiewicz Logics.

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Browse the full TABLEAUX paper archive.