Concepedia

Ángel J. Gil

ÁJ

4

Publications

148

Citations

4

H-Index

1997

Active since

Affiliations

Universitat de Barcelona(Current)

Universitat Pompeu Fabra

Ángel J. Gil is an author at Universitat de Barcelona specializing in automated reasoning, engineering, and representation theory.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceTheory Of ComputingRepresentation TheoryGomory-chvátal TheoryComputational ComplexityMathematical Foundations

Publications per year

1997–2009

4

Publications

4

Logics Preserving Degrees of Truth from Varieties of Residuated Lattices

Félix Bou, Francesc Esteva, Josep M. Font-Llagunes et al. · Journal of Logic and Computation · 2009 · 78 citations

Residuated Lattices, Engineering, Classical Logic +16

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Josep M. Font-Llagunes, Ángel J. Gil, Antoni Torrens et al. · Archive for Mathematical Logic · 2006 · 37 citations

Non-classical Logic, Automated Reasoning, Constructive Logic +3

On Gentzen Systems Associated with the Finite Linear MV-algebras

Ángel J. Gil, Antoni Torrens, Ventura Verdú · Journal of Logic and Computation · 1997 · 19 citations

Two-element Boolean Algebra, Algebraic Logic, M-dimensional Gentzen System +8

Protoalgebraic Gentzen Systems and the Cut Rule

Ángel J. Gil, Jordi Rebagliato · Studia Logica · 2000 · 14 citations

Rows per page

1–4 of 4