Ara mostrant els elements 10-29 de 35
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 ...
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 ...
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 ...
Domingo Belando, Ambròs (Data de defensa: 2005-12-13)
La tesi s'ocupa de qüestions centrals relacionades amb la distinció entre semàntica i pragmàtica. En primer lloc aborda la distinció entre allò que es diu i allò que s'implica no lògicament amb la proferència d'un enunciat, ...
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 ...
Romo Feito, José (Data de defensa: 1991-12-17)
Sabemos la centralidad que la noción de estado electro-tónico tuvo en la primera formulación de las ecuaciones de Maxwell. El concepto, sin embargo, proviene de Faraday, que lo introdujo a raíz de su descubrimiento de la ...
Cirera Duocastella, Ramon (Data de defensa: 1990-03-26)
La tesi tracta del Cercle de Viena, i en concret de Carnap a l'etapa que en membre, o almenys treballava en la seva sintonia. En termes bibliogràfics, des de l'Aufbau fins a "Testability and Meaning", amb algunes incursions ...
Gispert i Brasó, Joan (Data de defensa: 1998-06-01)
L'objectiu d'aquesta memòria és estudiar, classificar i caracteritzar extensions unitàries del càlcul infinitvalorat de Lukasiewicz. Per mostrar les motivacions que ens han portat a fer aquest treball remarcarem alguns ...
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 ...
Palacín Cruz, Daniel (Data 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 del “forking” respecte ...
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 ...
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 ...
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 ...
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 ...
Roselló Moya, Joan (Data de defensa: 2003-03-06)
L'objectiu principal del nostre estudi ha estat, en primer lloc, fer una "història de la lògica" que abastés el període que va aproximadament des de mitjans del segle XIX, època en què Boole i De Morgan renoven la lògica ...
Rius Font, Miquel (Data de defensa: 1992-03-26)
El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada per una àlgebra abstracta ...
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 ...
Vicario Arjona, Ignacio (Data de defensa: 2001-09-14)
El tema de la tesis doctoral concierne a la semántica de los nombres propios y, principalmente, se centra en el estudio de algunos problemas cognoscitivos derivados de su comprensión. El punto de vista defendido es que los ...
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 ...
Bosch i Bastardas, Roger (Data 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".