Search the dblp DataBase
Jordi Rebagliato :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jordi Rebagliato , Ventura Verdú On the Algebraization of Some Gentzen Systems. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1993, v:18, n:, pp:319-338 [Journal ] Àngel J. Gil , Jordi Rebagliato , Ventura Verdú A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:1, pp:- [Journal ] Jordi Rebagliato , Ventura Verdú A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 1994, v:40, n:, pp:61-68 [Journal ] Willem J. Blok , Jordi Rebagliato Algebraic Semantics for Deductive Systems. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2003, v:74, n:1-2, pp:153-180 [Journal ] Àngel J. Gil , Jordi Rebagliato Protoalgebraic Gentzen Systems and the Cut Rule. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:65, n:1, pp:53-89 [Journal ] Search in 0.001secs, Finished in 0.001secs