TESIS DOCTORALES
Este Máster continúa, consolida, y especialment amplía, los estudios ofrecidos durante más de 10 años en el seno del Programa de Doctorado en Lógica y Fundamentos de las Matemáticas. A continuación se relacionan las tesis leídas en los últimos años en este programa, ordenadas en orden inverso a la fecha en que fueron leídas.
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) |
|
|
|