Àngel J. Gil

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

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