Contribuciones a la teoría abstracta de modelos 

    Casanovas Ruiz-Fornells, Enrique (Date of defense: 1987-01-01)

    Se estudian ciertas versiones del teorema de compacidad y del teorema de completud en su aplicación a extensiones de la lógica de primer orden. Concretamente, se consideran M-lógicas y K-lógicas, donde M es un modelo y K ...

    Metafísica de la persona 

    Forment, Eudald (Date of defense: 1976-01-01)

    En este estudio se intenta mostrar lo que es la persona desde el punto de vista metafísico. Se examinan, para ello, las distintas doctrinas metafísicas, que se han dado, y así averiguar si alguna de ellas es sostenible. ...