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

Ă€ngel J. Gil, Jordi Rebagliato. Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. Reports on Mathematical Logic, 41:9-30, 2006. [doi]

Abstract

Abstract is missing.