11 July 2006 |
Carles Noquera: Algebraic study of the axiomatic extensions of fuzzy logics based on triangular norms, supervised by Francesc Esteva and Joan Gispert |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
14 June 2005 |
Alessandra Palmigiano: A
selfextensional journey, supervised by Ramon Jansana
|
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
1 October 2004 |
Fèlix Bou Moliner:
Strict-weak languages. An analysis of strict implication,
supervised by Ramon Jansana |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
28 September 2004 |
Jorge Ernesto Castro:
Generalized implicative and quasi-modal structures, supervised by Sergio Arturo Celani and Ramon Jansana |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
12 April 2002 |
Roger Bosch i Bastardes: Projective
Forcing, supervised by Joan Bagaria |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
Doctorate Prize of the University of
Barcelona (Faculty of Philosophy, October 2002)
Prize to the second best PhD thesis of the Spanish Society of
Logic, Methodology and Philosophy of Science (2004) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
26 June 2001 |
Román Adillón: Contribution
to the study of intuitionistic and Gödel logics without
contraction and of their fragments, supervised by Ventura
Verdú |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
6 July 2000 |
David Asperó i Herrando: Bounded
Forcing Axioms and the Continuum, supervised by Joan
Bagaria |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
5 May 2000 |
Jordi López Abad: Weakly-Ramsey
sets in Banach spaces, supervised by Joan Bagaria |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
14 October 1998 |
Joan Gispert: Algebraic
study of the extensions of Lukasiewicz's many valued calculi,
supervised by Antoni Torrens |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
10 May 1996 |
Pilar Dellunde:
Contributions to the model theory of equality-free logic,
supervised by Ramon Jansana |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
Doctorate Prize of the University of
Barcelona (Faculty of Philosophy, October 1996) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
17 April 1996 |
Angel Javier Gil: Multidimensional
Gentzen systems and finitely valued logics. Theory and Applications,
supervised by Antoni Torrens and Ventura Verdú |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
21 December 1995 |
Sergio A. Celani: Distributive
and De Morgan modal logics, supervised by Ramon Jansana
|
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
April 1994 |
Jordi Rebagliato: Algebraizable
Gentzen systems and the Deduction Theorem, supervised
by Ventura Verdú |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
March 1994 |
Raimon Elgueta:
Algebraic Model Theory for Languages without Equality,
supervised by Josep Maria Font and Don Pigozzi |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
Doctorate Prize of the University of
Barcelona (Faculty of Mathematics, October 1995) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |
![Imatge de diagramaci](../../estils_ub/css_img/espai.gif) |