Mostrando ítems 1-1 de 1
Casanovas Ruiz-Fornells, Enrique (Fecha de defensa: 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 ...