Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics

Àngel J. Gil, Jordi Rebagliato
2006 Reports on Mathematical Logic  
dblp:journals/rml/GilR06 fatcat:evz4ahm6yjenhpqloftcvtn5li