| 2003 | ||
|---|---|---|
| 5 | Willem J. Blok, Jordi Rebagliato: Algebraic Semantics for Deductive Systems. Studia Logica 74(1-2): 153-180 (2003) | |
| 2000 | ||
| 4 | Àngel J. Gil, Jordi Rebagliato: Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65(1): 53-89 (2000) | |
| 1999 | ||
| 3 | Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9(1): (1999) | |
| 1994 | ||
| 2 | Jordi Rebagliato, Ventura Verdú: A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40: 61-68 (1994) | |
| 1993 | ||
| 1 | Jordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. Fundam. Inform. 18: 319-338 (1993) | |
| 1 | Willem J. Blok | [5] |
| 2 | Àngel J. Gil | [3] [4] |
| 3 | Ventura Verdú | [1] [2] [3] |