Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publié-e
1980-05-01
Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
Mots-clés :
Estudio, extensiones de la lógica, propiedades fundamentales (es)Téléchargements
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ωω.
Comment citer
APA
Fajardo V., S. (1980). Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas, 14(3), 173–196. https://revistas.unal.edu.co/index.php/recolma/article/view/32286
ACM
[1]
Fajardo V., S. 1980. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas. 14, 3 (mai 1980), 173–196.
ACS
(1)
Fajardo V., S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. rev.colomb.mat 1980, 14, 173-196.
ABNT
FAJARDO V., S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas, [S. l.], v. 14, n. 3, p. 173–196, 1980. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32286. Acesso em: 22 janv. 2025.
Chicago
Fajardo V., Sergio. 1980. « Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales ». Revista Colombiana De Matemáticas 14 (3):173-96. https://revistas.unal.edu.co/index.php/recolma/article/view/32286.
Harvard
Fajardo V., S. (1980) « Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales », Revista Colombiana de Matemáticas, 14(3), p. 173–196. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32286 (Consulté le: 22 janvier 2025).
IEEE
[1]
S. Fajardo V., « Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales », rev.colomb.mat, vol. 14, nᵒ 3, p. 173–196, mai 1980.
MLA
Fajardo V., S. « Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales ». Revista Colombiana de Matemáticas, vol. 14, nᵒ 3, mai 1980, p. 173-96, https://revistas.unal.edu.co/index.php/recolma/article/view/32286.
Turabian
Fajardo V., Sergio. « Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales ». Revista Colombiana de Matemáticas 14, no. 3 (mai 1, 1980): 173–196. Consulté le janvier 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32286.
Vancouver
1.
Fajardo V. S. Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. rev.colomb.mat [Internet]. 1 mai 1980 [cité 22 janv. 2025];14(3):173-96. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32286
Télécharger la référence
Consultations de la page du résumé de l'article
205
Téléchargements
Les données relatives au téléchargement ne sont pas encore disponibles.
Licence
© Revista Colombiana de Matemáticas 1980
Cette œuvre est sous licence Creative Commons Attribution 4.0 International.
