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

Axiomatización de lógicas monadicas con varios cuantificadores cardinales

Caicedo, Xavier and Lesmes, Juan M. (1990) Axiomatización de lógicas monadicas con varios cuantificadores cardinales. Revista Colombiana de Matemáticas, 24 (1-2). pp. 81-91. ISSN 2357-4100

Texto completo

[img]
Vista previa
PDF
Available under License Creative Commons Attribution No Derivatives.

5MB

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

Resumen

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., 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.

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
Temática:5 Ciencias naturales y matemáticas / Science
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:21 Septiembre 2018 15:51
Ultima modificación:21 Septiembre 2018 15:51
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 Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox