Geodesic
Axiomatización de lógicas monádicas con varios cuantificadores cardinales
Revista colombiana de matematicas, Tome 24 (1990) no. 3-4, pp. 81-96.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : first order monadic logic, cardinality quantifiers, decidability, interpolation, elimination of second order quantifiers 
@article{RCM_1990__24_3-4_181834,
     author = {Xavier Caicedo and Juan M. Lesmes},
     title = {Axiomatizaci\'on de l\'ogicas mon\'adicas con varios cuantificadores cardinales},
     journal = {Revista colombiana de matematicas},
     pages = {81--96},
     publisher = {mathdoc},
     volume = {24},
     number = {3-4},
     year = {1990},
     language = {es},
     url = {http://geodesic.mathdoc.fr/item/RCM_1990__24_3-4_181834/}
}
TY  - JOUR
AU  - Xavier Caicedo
AU  - Juan M. Lesmes
TI  - Axiomatización de lógicas monádicas con varios cuantificadores cardinales
JO  - Revista colombiana de matematicas
PY  - 1990
SP  - 81
EP  - 96
VL  - 24
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1990__24_3-4_181834/
LA  - es
ID  - RCM_1990__24_3-4_181834
ER  - 
%0 Journal Article
%A Xavier Caicedo
%A Juan M. Lesmes
%T Axiomatización de lógicas monádicas con varios cuantificadores cardinales
%J Revista colombiana de matematicas
%D 1990
%P 81-96
%V 24
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1990__24_3-4_181834/
%G es
%F RCM_1990__24_3-4_181834
Xavier Caicedo; Juan M. Lesmes. Axiomatización de lógicas monádicas con varios cuantificadores cardinales. Revista colombiana de matematicas, Tome 24 (1990) no. 3-4, pp. 81-96. http://geodesic.mathdoc.fr/item/RCM_1990__24_3-4_181834/