Moraschini, Tommaso (Date of defense: 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 ...
Tsaprounis, Konstantinos (Date of defense: 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 ...
Sánchez Ferrer, Juan Manuel (Date of defense: 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ª ...
Potier, Joris (Date of defense: 2015-06-8)
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 ...
García Ávila, Luz María (Date of defense: 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 ...
Pardo Ventura, Pere (Date of defense: 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 ...
Briciu, Adrian (Date of defense: 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 ...