| 20 de noviembre de 2007 |
| Àngel García-Cerdaña: Lógicas basadas en normas triangulares: una contribución al estudio de sus aspectos subestructurales, dirigida por Francesc Esteva y Ventura Verdú.
|
 |
 |
| 11 de julio de 2006 |
| Carles Noquera: Algebraic study of the axiomatic extensions of fuzzy logics based on triangular norms, dirigida por Francesc Esteva y Joan Gispert |
 |
 |
| 14 de junio de 2005 |
| Alessandra Palmigiano: A selfextensional journey, dirigida por Ramón Jansana
|
 |
 |
| 1 de octubre de 2004 |
| Fèlix Bou Moliner: Strict-weak languages. An analysis of strict implication, dirigida por Ramón Jansana
|
 |
 |
| 28 de septiembre de 2004 |
| Jorge Ernesto Castro: Estructuras casi-modales e implicativas generalizadas, dirigida por Sergio Arturo Celani y Ramón Jansana
|
 |
 |
| 12 de abril de 2002 |
| Roger Bosch i Bastardes: Projective Forcing, dirigida por Joan Bagaria
|
 |
Premio Extraordinario de Doctorado de la Universidad de Barcelona (Facultad de Filosofía, octubre de 2002) Segundo premio a la mejor tesis doctoral de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (2004) |
 |
 |
| 26 de junio de 2001 |
| Román Adillón: Contribució a l'estudi de les lógiques intuïcionistes i de Gödel sense contracció i dels seus fragments, dirigida por Ventura Verdú |
 |
 |
| 6 de Julio de 2000 |
| David Asperó i Herrando: Bounded Forcing Axioms and the Continuum, dirigida por Joan Bagaria
|
 |
 |
| 5 de Mayo de 2000 |
| Jordi López Abad: Weakly-Ramsey sets in Banach spaces, dirigida por Joan Bagaria
|
 |
 |
| 14 de octubre de 1998 |
| Joan Gispert: Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz, dirigida por Antoni Torrens
|
 |
 |
| 10 de mayo de 1996 |
| Pilar Dellunde: Contributions to the model theory of equality-free logic, dirigida por Ramón Jansana
|
 |
| Premio Extraordinario de Doctorado de la Universidad de Barcelona (Facultad de Filosofía, octubre de 1996) |
 |
 |
| 17 de abril de 1996 |
| Angel Javier Gil: Sistemes de Gentzen multidimensionals i lògiques finitament valorades. Teoria i Aplicacions, dirigida por Antoni Torrens y Ventura Verdú
|
 |
 |
| 21 de diciembre de 1995 |
| Sergio A. Celani: Lógicas modales distributivas y de De Morgan, dirigida por Ramón Jansana
|
 |
 |
| abril de 1994 |
| Jordi Rebagliato: Sistemes de Gentzen algebraitzables i el Teorema de la Deducció, dirigida por Ventura Verdú
|
 |
 |
| marzo de 1994 |
| Raimon Elgueta: Algebraic Model Theory for Languages without Equality, dirigida por Josep Maria Font y Don Pigozzi |
 |
| Premio Extraordinario de Doctorado de la Universidad de Barcelona (Facultad de Matemáticas, octubre de 1995) |
 |
 |