Jordi Rebagliato

According to our database, Jordi Rebagliato authored at least 6 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.

Àngel J. Gil, Jordi Rebagliato

Reports Math. Log., 2006

2003

Algebraic Semantics for Deductive Systems.

Willem J. Blok, Jordi Rebagliato

Stud Logica, 2003

2000

Protoalgebraic Gentzen Systems and the Cut Rule.

Àngel J. Gil, Jordi Rebagliato

Stud Logica, 2000

1999

A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.

Àngel J. Gil, Jordi Rebagliato, Ventura Verdú

J. Appl. Non Class. Logics, 1999

1994

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.

Jordi Rebagliato, Ventura Verdú

Math. Log. Q., 1994

1993

On the Algebraization of Some Gentzen Systems.

Jordi Rebagliato, Ventura Verdú

Fundam. Informaticae, 1993