Àngel J. Gil

According to our database, Àngel J. Gil authored at least 9 papers between 1997 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.

Àngel J. Gil

Stud Logica, 2013

2012

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

2008

Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.

Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini

SIAM J. Comput., 2008

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

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

2004

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.

Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2000

Protoalgebraic Gentzen Systems and the Cut Rule.

Àngel J. Gil, Jordi Rebagliato

Stud Logica, 2000

1999

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

1997

On Gentzen Systems Associated with the Finite Linear MV-Algebras.

Àngel J. Gil, Antoni Torrens, Ventura Verdú

J. Log. Comput., 1997