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