20 de novembre de 2007 |
Àngel García-Cerdaña: Lògiques basades en normes triangulars: una contribució a l'estudi dels seus aspectes subestructurals, dirigida per Francesc Esteva i Ventura Verdú.
|
|
|
11 de juliol de 2006 |
Carles Noquera: Algebraic study of the axiomatic extensions of fuzzy logics based on triangular norms, dirigida per Francesc Esteva i Joan Gispert |
|
|
14 de juny de 2005 |
Alessandra Palmigiano: A selfextensional journey, dirigida per Ramon Jansana
|
|
|
1 d'octubre de 2004 |
Fèlix Bou Moliner: Strict-weak languages. An analysis of strict implication, dirigida per Ramon Jansana
|
|
|
28 de setembre de 2004 |
Jorge Ernesto Castro: Estructuras casi-modales e implicativas generalizadas, dirigida per Sergio Arturo Celani i Ramon Jansana
|
|
|
12 d'abril de 2002 |
Roger Bosch i Bastardes: Projective Forcing, dirigida per Joan Bagaria
|
|
Premi Extraordinari de Doctorat de la Universitat de Barcelona (Facultat de Filosofia, octubre de 2002) Segon premi a la millor tesi doctoral de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (2004) |
|
|
26 de juny 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 per Ventura Verdú |
|
|
6 de Juliol de 2000 |
David Asperó i Herrando: Bounded Forcing Axioms and the Continuum, dirigida per Joan Bagaria
|
|
|
5 de Maig de 2000 |
Jordi López Abad: Weakly-Ramsey sets in Banach spaces, dirigida per Joan Bagaria
|
|
|
14 d'octubre de 1998 |
Joan Gispert: Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz, dirigida per Antoni Torrens
|
|
|
10 de maig de 1996 |
Pilar Dellunde: Contributions to the model theory of equality-free logic, dirigida per Ramon Jansana
|
|
Premi Extraordinari de Doctorat de la Universitat de Barcelona (Facultat de Filosofia, octubre de 1996) |
|
|
17 d'abril de 1996 |
Angel Javier Gil: Sistemes de Gentzen multidimensionals i lògiques finitament valorades. Teoria i Aplicacions, dirigida per Antoni Torrens i Ventura Verdú
|
|
|
21 de desembre de 1995 |
Sergio A. Celani: Lógicas modales distributivas y de De Morgan, dirigida per Ramon Jansana
|
|
|
abril de 1994 |
Jordi Rebagliato: Sistemes de Gentzen algebraitzables i el Teorema de la Deducció, dirigida per Ventura Verdú
|
|
|
març de 1994 |
Raimon Elgueta: Algebraic Model Theory for Languages without Equality, dirigida per Josep Maria Font i Don Pigozzi |
|
Premi Extraordinari de Doctorat de la Universitat de Barcelona (Facultat de Matemàtiques, octubre de 1995) |
|
|