On Gentzen Systems Associated with the Finite Linear MV-Algebras. - Àngel J. Gil; Antoni Torrens; Ventura Verdú (J. Log. Comput., 1997)

A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. - Àngel J. Gil; Jordi Rebagliato; Ventura Verdú (J. Appl. Non Class. Logics, 1999)

Protoalgebraic Gentzen Systems and the Cut Rule. - Àngel J. Gil; Jordi Rebagliato (Stud Logica, 2000)

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. - Àngel J. Gil; Miki Hermann; Gernot Salzer; Bruno Zanuttini (IJCAR, 2004)

On the infinite-valued Lukasiewicz logic that preserves degrees of truth. - Josep Maria Font; Àngel J. Gil; Antoni Torrens; Ventura Verdú (Arch. Math. Log., 2006)

Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. - Àngel J. Gil; Jordi Rebagliato (Reports Math. Log., 2006)

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. - Àngel J. Gil; Miki Hermann; Gernot Salzer; Bruno Zanuttini (SIAM J. Comput., 2008)

Logics preserving degrees of truth from varieties of residuated lattices. - Félix Bou; Francesc Esteva; Josep Maria Font; Àngel J. Gil; Lluís Godo; Antoni Torrens; Ventura Verdú (J. Log. Comput., 2012)

On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth. - Àngel J. Gil (Stud Logica, 2013)