Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

Este artículo se refiere al estudio de extensiones de la lógica de primer orden (Lωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de estructuras no expresables  Lωω.

Autores:
Fajardo V., Sergio
Tipo de recurso:
Article of journal
Fecha de publicación:
1980
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/42618
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/42618
http://bdigital.unal.edu.co/32715/
Palabra clave:
Estudio
extensiones de la lógica
propiedades fundamentales
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional