La Universitat de Barcelona és la universitat pública principal de Catalunya, amb el nombre més gran d’estudiants i l’oferta formativa més àmplia i completa. A més, és el principal centre de recerca universitari de l’Estat i un dels més importants d’Europa, tant per nombre de programes de recerca com per l’excel·lència assolida en aquest terreny.Estretament vinculada a la història de Barcelona i de Catalunya, la UB combina els valors de la tradició amb el fet de ser una institució innovadora i d’excel·lència en l’àmbit docent, i és una universitat urbana, oberta i cosmopolita com la mateixa ciutat de Barcelona.Us convidem a conèixer la Universitat de Barcelona!
Si sou doctor o doctora de la Universitat de Barcelona i voleu publicar la vostra tesi a TDX, contacteu amb tdx@ub.edu. Per a més informació consulteu les preguntes més freqüents
Dellunde i Clavé, Pilar (Data de defensa: 1996-01-01)
La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. Los conceptos ...
Garmendia Mugica, Ekain (Data de defensa: 2010-03-15)
En las últimas tres o cuatro décadas ha logrado gran aceptación cierta teoría sobre la naturaleza de nuestros conceptos y representaciones mentales, conocida como Externismo Semántico, la cual sostiene que qué conceptos ...
Rey Sampedro, David Alejandro (Data de defensa: 2016-12-20)
The present dissertation explores the hypothesis that English is a language with time-shifting grammatical devices. According to this hypothesis, the linguistic objects of English grammar which serve as the inputs to ...
Briciu, Adrian (Data de defensa: 2015-07-17)
The general aim of this dissertation is to analyze two intersecting topics. One is what constraints the principle(s) of compositionality place on semantic theories, and the second is whether context-sensitivity endangers ...
Potier, Joris (Data de defensa: 2015-06-08)
The core of this PhD dissertation is basically twofold : On one hand, I get some new results on the relationship between compact groups and bounded hyperimaginaries, extending a little bit the classical results of Lascar ...
Moraschini, Tommaso (Data de defensa: 2016-06-08)
This memoir is divided into two parts, devoted to two topics in (ab-stract) algebraic logic. In the first part we develop a hierarchy in which propositional logics “L” are classified according to the definability conditions ...
Horden, John (Data de defensa: 2015-12-11)
The four main chapters in this dissertation, while each largely self-standing, can be seen as together providing an extended defence of the view that classical mereology is analytically true. In chapter 1, I criticise Eli ...
Albuquerque, Hugo Cardoso (Data de defensa: 2016-03-16)
This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and ...
Sánchez Ferrer, Juan Manuel (Data de defensa: 2016-02-08)
1. OBJETIVO PRINCIPAL Sean las termodinámicas fundamentales de la vertebración histórica de los conceptos específicamente termodinámicos, es decir, la termodinámica de lo que aquí se denomina 2ª etapa de Clausius, la ...
Bertran San Millán, Joan (Data de defensa: 2016-02-10)
Ofrecemos en esta tesis doctoral una reconstrucción global y detallada de la lógica desarrollada por Gottlob Frege a lo largo de su carrera. A pesar de que esta lógica fue objeto de profundas modificaciones desde su ...
González, Luciano J. (Data de defensa: 2015-09-17)
This PhD thesis is the result of our research on duality theory and completions for partially ordered sets. A first main aim of this dissertation is to propose different kind of topological dualities for some classes of ...
Merlo, Giovanni (Data de defensa: 2015-06-01)
The first part of this thesis articulates and defends the Subjectivist View of the Mental. According to this view, my mental states are essentially different from the mental states of everyone else, but the fact that they ...
Moldovan, Andrei (Data de defensa: 2015-04-24)
This thesis focuses on the semantics of definite descriptions (DDs). In chapter 1 I introduce a framework for doing compositional semantics for natural language that follows Heim and Kratzer (1998) and Fintel and Heim ...
Reining, Stefan (Data de defensa: 2014-06-20)
My central aim in this dissertation is to propose a new version of local scepticism regarding the a priori, namely, a version of scepticism regarding the apriority of (knowledge of) truths about certain relations between ...
Pardo Ventura, Pere (Data de defensa: 2013-11-19)
In this thesis, we study planning systems based on logics, for two particular cases: Temporal Defeasible Logic Programming t-DeLP and the Logics of Communication and Change LCC. A planning problem consists in building a ...
Esteban, María (Data de defensa: 2013-11-04)
In this thesis we present the results of our research on duality theory for non-classical logics under the point of view of Abstract Algebraic Logic (AAL). Firstly, we propose an abstract Spectral-like duality and an ...
García Ávila, Luz María (Data de defensa: 2012-07-12)
This is a contribution to combinatorial set theory, specifically to infinite Ramsey Theory, which deals with partitions of infinite sets. The basic pigeon hole principle states that for every partition of the set of all ...
Ortega Cano, Laura (Data de defensa: 2013-05-13)
La tesis trata de un aspecto semántico de los términos para artefactos: la determinación de su referencia. Para abordar esta cuestión, exploro la sugerencia putnamiana según la cual la referencia de los términos de clase ...
Jorba Grau, Marta (Data de defensa: 2013-04-11)
The aim of this dissertation is to provide a non-reductive account of cognitive phenomenology and the experience of thinking. The nature of conscious thought is an issue that has occupied philosophers since ancient times, ...
Tsaprounis, Konstantinos (Data de defensa: 2012-12-14)
In the current dissertation we work in set theory and we study both various large cardinal hierarchies and issues related to forcing axioms and generic absoluteness. The necessary preliminaries may be found, as it should ...