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