Gispert i Brasó, Joan (Date of defense: 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 ...
Rius Font, Miquel (Date of defense: 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 ...
Pérez Otero, Manuel, 1964- (Date of defense: 1996-10-09)
Según el punto de vista predominante en la filosofía sobre la modalidad durante la mayor parte del siglo XX cualquier noción de necesidad que pueda tener sentido es dependiente de nuestros sistemas ...
Cirera Duocastella, Ramon (Date of defense: 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", ...
Romo Feito, José (Date of defense: 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 ...
Elgueta Montó, Raimon (Date of defense: 1994-05-25)
In our opinion, it is fair to distinguish two separate branches in the origins of model theory. The first one, the model theory of first-order logic, can be traced back to the pioneering work of L. ...
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. ...