El retículo de las lógicas de primer orden con cuantificadores cardinales
Associate to every class S of cardinals a quantifier QS so that QSx
- Autores:
-
Corredor, Luis Jaime
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1986
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48826
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48826
http://bdigital.unal.edu.co/42283/
- Palabra clave:
- Logic
cardinal characterization Boolean / Lógica
cardinales
caracterización booleana
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
Summary: | Associate to every class S of cardinals a quantifier QS so that QSx |
---|