Àngel J. Gil

Available identifiers

Publication	Date of Publication	Type
On Gentzen relations associated with finite-valued logics preserving degrees of truth	2013-09-23	Paper
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices	2012-06-20	Paper
The simulation of 3D unsteady incompressible flows with moving boundaries on unstructured meshes	2012-05-10	Paper
Logics preserving degrees of truth from varieties of residuated lattices	2010-01-14	Paper
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains	2009-06-22	Paper
Finitely equivalential Gentzen systems associated with arbitrary finite algebras	2008-02-15	Paper
Automated Reasoning	2007-09-25	Paper
On the infinite-valued Łukasiewicz logic that preserves degrees of truth	2006-11-06	Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras	2004-01-13	Paper
Protoalgebraic Gentzen systems and the cut rule	2000-08-14	Paper
On Gentzen Systems Associated with the Finite Linear MV-algebras	1997-08-28	Paper

This page was built for person: Àngel J. Gil