Mostrando ítems 1-5 de 5
Bosch i Bastardas, Roger (Fecha de defensa: 2002-04-12)
Atès que el resum conté caràcters matemàtics especials, s'ha optat per incloure'l com a document annex, amb el títol "Resum.pdf".
Esteban, María (Fecha 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 ...
Palacín Cruz, Daniel (Fecha de defensa: 2012-07-17)
Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat ...
Tsaprounis, Konstantinos (Fecha 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 ...
Pardo Ventura, Pere (Fecha 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 ...