Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2006 – 2008 Imatge de diagramaci
Català Castellano  English Imatge de diagramaci Interuniversity Master  UB UPC Imatge de diagramaci
Imatge de diagramació
imatge de diagramació Imatge de diagramació
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Introduction
Academic structure
Lecturers
Courses
Admission procedures
Academic calendar
Other activities
Doctorate (PhD)
News
Related links
2008–2010 edition
2010–2012 edition
 
 
Icona d'informaci For further
information
please contact

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

PhD THESES

This Master 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.

 

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
Imatge de diagramaci
14 June 2005
Alessandra Palmigiano: A selfextensional journey, supervised by Ramon Jansana
Imatge de diagramaci
Imatge de diagramaci
1 October 2004
Fèlix Bou Moliner: Strict-weak languages. An analysis of strict implication, supervised by Ramon Jansana
Imatge de diagramaci
Imatge de diagramaci
28 September 2004
Jorge Ernesto Castro: Generalized implicative and quasi-modal structures, supervised by Sergio Arturo Celani and Ramon Jansana
Imatge de diagramaci
Imatge de diagramaci
12 April 2002
Roger Bosch i Bastardes: Projective Forcing, supervised by Joan Bagaria
Imatge de diagramaci
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
Imatge de diagramaci
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
Imatge de diagramaci
6 July 2000
David Asperó i Herrando: Bounded Forcing Axioms and the Continuum, supervised by Joan Bagaria
Imatge de diagramaci
Imatge de diagramaci
5 May 2000
Jordi López Abad: Weakly-Ramsey sets in Banach spaces, supervised by Joan Bagaria
Imatge de diagramaci
Imatge de diagramaci
14 October 1998
Joan Gispert: Algebraic study of the extensions of Lukasiewicz's many valued calculi, supervised by Antoni Torrens
Imatge de diagramaci
Imatge de diagramaci
10 May 1996
Pilar Dellunde: Contributions to the model theory of equality-free logic, supervised by Ramon Jansana
Imatge de diagramaci
Doctorate Prize of the University of Barcelona (Faculty of Philosophy, October 1996)
Imatge de diagramaci
Imatge de diagramaci
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
Imatge de diagramaci
21 December 1995
Sergio A. Celani: Distributive and De Morgan modal logics, supervised by Ramon Jansana
Imatge de diagramaci
Imatge de diagramaci
April 1994
Jordi Rebagliato: Algebraizable Gentzen systems and the Deduction Theorem, supervised by Ventura Verdú
Imatge de diagramaci
Imatge de diagramaci
March 1994
Raimon Elgueta: Algebraic Model Theory for Languages without Equality, supervised by Josep Maria Font and Don Pigozzi
Imatge de diagramaci
Doctorate Prize of the University of Barcelona (Faculty of Mathematics, October 1995)
Imatge de diagramaci
Imatge de diagramaci
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © University of Barcelona Webmaster: Josep Maria Font
Last updated: 22/5/07