Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Artículo - Article #33371

Caicedo, Xavier and Lesmes, Juan M. (2012) Sin Definir Revista Colombiana de Matemáticas; Vol. 24, núm. 1-2 (1990); 81-91 0034-7426 .

Texto completo

[img]
Vista previa
PDF
5MB

URL oficial: http://revistas.unal.edu.co/index.php/recolma/arti...

Resumen

We axiomatize all logics which result from adjoining to first order monadic logic any family of cardinality quantifiers 2∝  (there are at least W∝…). Completeness is shown using normal forms, from which we obtain also very simple proofs of previously known properties of these logics, as decidability, interpolation, and a theorem of Väänänen on the elimination of second order quantifiers., Se axiomatizan las lógicas que resultan de añadira la lógica monadica de primer orden varios cuantificadores cardinales 2∝ (existen al menos W∝… ). La completitud de los sistemas se obtiene via formas normales, las cuales permiten también dar sencillas demostraciones de propiedades ya conocidas de dichas lógicas como decibilidad, interpolación y un teorema de Väänänen sobre eliminación de cuantificadores de segundo orden.

Tipo de documento:Artículo - Article
Palabras clave:Monadic logic, quantifiers cardinal systems, properties, decidability, interpolation; theorem Väänänen, Lógica monadica, cuantificadores cardinales, teorema de Väänänen
Unidad administrativa:Revistas electrónicas UN > Revista Colombiana de Matemáticas
Código ID:33371
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :01 Julio 2014 08:42
Ultima modificación:18 Agosto 2014 20:15
Ultima modificación:18 Agosto 2014 20:15
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox