PhD THESES

The doctorate degree draws and builds on the expertise acquired from more than a decade of postgraduate courses offered as part of the University of Barcelona's Doctorate Program in Logic and Foundations of Mathematics. Below is a list of PhD theses completed as part of this program with the most recent appearing first.

20 November 2007

Àngel García-Cerdaña: Logics based on triangular norms: a contribution to the study of their substructural aspects, supervised by Francesc Esteva and Ventura Verdú.

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

14 June 2005

Alessandra Palmigiano: A selfextensional journey, supervised by Ramon Jansana

1 October 2004

Fèlix Bou Moliner: Strict-weak languages. An analysis of strict implication, supervised by Ramon Jansana

28 September 2004

Jorge Ernesto Castro: Generalized implicative and quasi-modal structures, supervised by Sergio Arturo Celani and Ramon Jansana

12 April 2002

Roger Bosch i Bastardes: Projective Forcing, supervised by Joan Bagaria

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)

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ú

6 July 2000

David Asperó i Herrando: Bounded Forcing Axioms and the Continuum, supervised by Joan Bagaria

5 May 2000

Jordi López Abad: Weakly-Ramsey sets in Banach spaces, supervised by Joan Bagaria

14 October 1998

Joan Gispert: Algebraic study of the extensions of Lukasiewicz's many valued calculi, supervised by Antoni Torrens

10 May 1996

Pilar Dellunde: Contributions to the model theory of equality-free logic, supervised by Ramon Jansana

Doctorate Prize of the University of Barcelona (Faculty of Philosophy, October 1996)

17 April 1996

Angel Javier Gil: Multidimensional Gentzen systems and finitely valued logics. Theory and Applications, supervised by Antoni Torrens and Ventura Verdú

21 December 1995

Sergio A. Celani: Distributive and De Morgan modal logics, supervised by Ramon Jansana

April 1994

Jordi Rebagliato: Algebraizable Gentzen systems and the Deduction Theorem, supervised by Ventura Verdú

March 1994

Raimon Elgueta: Algebraic Model Theory for Languages without Equality, supervised by Josep Maria Font and Don Pigozzi

Doctorate Prize of the University of Barcelona (Faculty of Mathematics, October 1995)