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 ...
Garmendia Mugica, Ekain (Date of defense: 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 ...
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 ...
Bertran San Millán, Joan (Date of defense: 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 ...
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 ...
Dellunde i Clavé, Pilar (Date of defense: 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. ...
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 ...
Rey Sampedro, David Alejandro (Date of defense: 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 ...