Now showing items 1-2 of 2
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 ...
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. ...