Browsing Departament de Lògica, Història i Filosofia de la Ciència by Subject "512"

Now showing items 1-2 of 2

Algebraic model theory for languages without equality

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. Lowenheim, T. Skolem, ...

Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz

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 remarcarem alguns ...