Axiomatización de lógicas monadicas con varios cuantificadores cardinales
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 d...
- Autores:
-
Caicedo, Xavier
Lesmes, Juan M.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1990
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43273
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43273
http://bdigital.unal.edu.co/33371/
- Palabra clave:
- 5 Ciencias naturales y matemáticas / Science
Monadic logic
quantifiers cardinal systems
properties
decidability
interpolation
theorem Väänänen
Lógica monadica
cuantificadores cardinales
teorema de Väänänen
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|