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
| id |
UNACIONAL2_e49646487c46ace98cadb2c59646f9bb |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/43273 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Caicedo, Xavier54107453-cf46-4ed2-a3f5-84470ed3a6d9300Lesmes, Juan M.ed83bba1-1a6b-4b1e-8d02-98cee457f8323002019-06-28T11:46:13Z2019-06-28T11:46:13Z1990-01-01ISSN: 2357-4100https://repositorio.unal.edu.co/handle/unal/43273http://bdigital.unal.edu.co/33371/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.application/pdfspaUniversidad Nacional de Colombiahttp://revistas.unal.edu.co/index.php/recolma/article/view/33208Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasCaicedo, 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-41005 Ciencias naturales y matemáticas / ScienceMonadic logicquantifiers cardinal systemspropertiesdecidabilityinterpolationtheorem VäänänenLógica monadicacuantificadores cardinalesteorema de VäänänenAxiomatización de lógicas monadicas con varios cuantificadores cardinalesArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTORIGINAL33208-123120-1-PB.pdfapplication/pdf5528963https://repositorio.unal.edu.co/bitstream/unal/43273/1/33208-123120-1-PB.pdfe7d0598f6353c79514fc1977799e8c70MD51THUMBNAIL33208-123120-1-PB.pdf.jpg33208-123120-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6890https://repositorio.unal.edu.co/bitstream/unal/43273/2/33208-123120-1-PB.pdf.jpg722f246ebdfd6f011337c3fd2bb086cfMD52unal/43273oai:repositorio.unal.edu.co:unal/432732023-02-11 23:05:04.302Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
| dc.title.spa.fl_str_mv |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| title |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| spellingShingle |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales 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 |
| title_short |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| title_full |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| title_fullStr |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| title_full_unstemmed |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| title_sort |
Axiomatización de lógicas monadicas con varios cuantificadores cardinales |
| dc.creator.fl_str_mv |
Caicedo, Xavier Lesmes, Juan M. |
| dc.contributor.author.spa.fl_str_mv |
Caicedo, Xavier Lesmes, Juan M. |
| dc.subject.ddc.spa.fl_str_mv |
5 Ciencias naturales y matemáticas / Science |
| topic |
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 |
| dc.subject.proposal.spa.fl_str_mv |
Monadic logic quantifiers cardinal systems properties decidability interpolation theorem Väänänen Lógica monadica cuantificadores cardinales teorema de Väänänen |
| description |
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. |
| publishDate |
1990 |
| dc.date.issued.spa.fl_str_mv |
1990-01-01 |
| dc.date.accessioned.spa.fl_str_mv |
2019-06-28T11:46:13Z |
| dc.date.available.spa.fl_str_mv |
2019-06-28T11:46:13Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.issn.spa.fl_str_mv |
ISSN: 2357-4100 |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/43273 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/33371/ |
| identifier_str_mv |
ISSN: 2357-4100 |
| url |
https://repositorio.unal.edu.co/handle/unal/43273 http://bdigital.unal.edu.co/33371/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/recolma/article/view/33208 |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas Revista Colombiana de Matemáticas |
| dc.relation.references.spa.fl_str_mv |
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 |
| dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/43273/1/33208-123120-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/43273/2/33208-123120-1-PB.pdf.jpg |
| bitstream.checksum.fl_str_mv |
e7d0598f6353c79514fc1977799e8c70 722f246ebdfd6f011337c3fd2bb086cf |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
| _version_ |
1814089922425913344 |