Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

À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. [doi]

The following publications are possibly variants of this publication:

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

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

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.

runs on WebDSL