Àngel J. Gil

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Inference Rules

Top Venues

J. Log. Comput.

Publications

Àngel J. Gil
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth. Stud Logica 101 (4) (2013)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22 (3) (2012)
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19 (6) (2009)
Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. SIAM J. Comput. 38 (3) (2008)
Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Arch. Math. Log. 45 (7) (2006)
Àngel J. Gil, Jordi Rebagliato
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. Reports Math. Log. 41 (2006)
Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. IJCAR (2004)
Àngel J. Gil, Jordi Rebagliato
Protoalgebraic Gentzen Systems and the Cut Rule. Stud Logica 65 (1) (2000)
Àngel J. Gil, Jordi Rebagliato, Ventura Verdú
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. J. Appl. Non Class. Logics 9 (1) (1999)
Àngel J. Gil, Antoni Torrens, Ventura Verdú
On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7 (4) (1997)