Àngel J. Gil

Universitat Pompeu Fabra, Barcelona, Spain

	2012
j8		Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú: Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22(3): 661-665 (2012)
	2009
j7		Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19(6): 1031-1069 (2009)
	2008
j6		Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini: Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. SIAM J. Comput. 38(3): 922-945 (2008)
	2006
j5		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): 839-868 (2006)
j4		À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)
	2004
c1		Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini: Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. IJCAR 2004: 244-258
	2000
j3		Àngel J. Gil, Jordi Rebagliato: Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65(1): 53-89 (2000)
	1999
j2		Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9(1): 9-36 (1999)
	1997
j1		Àngel J. Gil, Antoni Torrens, Ventura Verdú: On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7(4): 473-500 (1997)

Coauthor Index

Colors in the list of coauthors

Last update Wed May 22 05:40:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page