Àngel J. Gil - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2013

On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of TruthÀngel J. Gil. sLogica, 101(4):749-781, 2013. [doi]

2012

Logics preserving degrees of truth from varieties of residuated latticesFélix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú. logcom, 22(3):661-665, 2012. [doi]

2009

Logics Preserving Degrees of Truth from Varieties of Residuated LatticesFélix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú. logcom, 19(6):1031-1069, 2009. [doi]

2008

Efficient Algorithms for Description Problems over Finite Totally Ordered DomainsÀngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini. SICOMP, 38(3):922-945, 2008. [doi]

2006

On the infinite-valued Lukasiewicz logic that preserves degrees of truthJosep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú. AML, 45(7):839-868, 2006. [doi]

Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logicsÀngel J. Gil, Jordi Rebagliato. rml, 41:9-30, 2006. [doi]

2004

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended AbstractÀngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini. cade 2004: 244-258 [doi]

2000

Protoalgebraic Gentzen Systems and the Cut RuleÀngel J. Gil, Jordi Rebagliato. sLogica, 65(1):53-89, 2000.

1999

A Strong Completeness Theorem for the Gentzen systems associated with finite algebrasÀngel J. Gil, Jordi Rebagliato, Ventura Verdú. jancl, 9(1):9-36, 1999.

1997

On Gentzen Systems Associated with the Finite Linear MV-AlgebrasÀngel J. Gil, Antoni Torrens, Ventura Verdú. logcom, 7(4):473-500, 1997.

Sign in or sign up to see more results.

runs on WebDSL