Jordi Rebagliato

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

Àngel J. Gil, Jordi Rebagliato
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. Reports Math. Log. 41 (2006)
Willem J. Blok, Jordi Rebagliato
Algebraic Semantics for Deductive Systems. Stud Logica 74 (1-2) (2003)
Àngel J. Gil, Jordi Rebagliato
Protoalgebraic Gentzen Systems and the Cut Rule. Stud Logica 65 (1) (2000)
Àngel J. Gil, Jordi Rebagliato, Ventura Verdú
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. J. Appl. Non Class. Logics 9 (1) (1999)
Jordi Rebagliato, Ventura Verdú
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40 (1994)
Jordi Rebagliato, Ventura Verdú
On the Algebraization of Some Gentzen Systems. Fundam. Informaticae 18 (1993)