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