Jordi Rebagliato Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem J. Blok, Jordi Rebagliato: Algebraic Semantics for Deductive Systems. Studia Logica 74(1-2): 153-180 (2003)
2000
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÀngel J. Gil, Jordi Rebagliato: Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65(1): 53-89 (2000)
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÀ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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. Fundam. Inform. 18: 319-338 (1993)

Coauthor Index

1Willem J. Blok [5]
2Àngel J. Gil [3] [4]
3Ventura Verdú [1] [2] [3]

Colors in the list of coauthors

Copyright © Wed Dec 9 16:00:12 2009 by Michael Ley (ley@uni-trier.de)