Sistema paracompleto lbp°¬c
El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracter...
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2006
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73606
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73606
http://bdigital.unal.edu.co/38082/
- Palabra clave:
- operador de determinabilidad
sistema paracompleto.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_dd9db6fbf505a305d2e80f07e66119cd |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/73606 |
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_abf2Sierra, Manuel4faaef59-750e-42f4-abff-38846b8629013002019-07-03T16:34:59Z2019-07-03T16:34:59Z2006https://repositorio.unal.edu.co/handle/unal/73606http://bdigital.unal.edu.co/38082/El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionalescon la cual se prueba que, respecto al operador de negación débil, el sistema es paracompleto. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir son determinables, entonces la negación débil se comporta como la negaciónclásica, pero este requisito no siempre es necesario, la negación débil puede ser puntualmente tan potente como la clásica aunque las fórmulas involucradas no se comporten clásicamente.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40453Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 2357-6529 0120-0380Sierra, Manuel (2006) Sistema paracompleto lbp°¬c. Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 2357-6529 0120-0380 .Sistema paracompleto lbp°¬cArtí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/ARToperador de determinabilidadsistema paracompleto.ORIGINAL40453-181945-1-PB.pdfapplication/pdf144992https://repositorio.unal.edu.co/bitstream/unal/73606/1/40453-181945-1-PB.pdf613bac1253b98020b6048e584be8c8daMD51THUMBNAIL40453-181945-1-PB.pdf.jpg40453-181945-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg3865https://repositorio.unal.edu.co/bitstream/unal/73606/2/40453-181945-1-PB.pdf.jpg229870712e0940cdddda9c544bed6c06MD52unal/73606oai:repositorio.unal.edu.co:unal/736062024-06-25 23:11:43.225Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
Sistema paracompleto lbp°¬c |
title |
Sistema paracompleto lbp°¬c |
spellingShingle |
Sistema paracompleto lbp°¬c operador de determinabilidad sistema paracompleto. |
title_short |
Sistema paracompleto lbp°¬c |
title_full |
Sistema paracompleto lbp°¬c |
title_fullStr |
Sistema paracompleto lbp°¬c |
title_full_unstemmed |
Sistema paracompleto lbp°¬c |
title_sort |
Sistema paracompleto lbp°¬c |
dc.creator.fl_str_mv |
Sierra, Manuel |
dc.contributor.author.spa.fl_str_mv |
Sierra, Manuel |
dc.subject.proposal.spa.fl_str_mv |
operador de determinabilidad sistema paracompleto. |
topic |
operador de determinabilidad sistema paracompleto. |
description |
El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionalescon la cual se prueba que, respecto al operador de negación débil, el sistema es paracompleto. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir son determinables, entonces la negación débil se comporta como la negaciónclásica, pero este requisito no siempre es necesario, la negación débil puede ser puntualmente tan potente como la clásica aunque las fórmulas involucradas no se comporten clásicamente. |
publishDate |
2006 |
dc.date.issued.spa.fl_str_mv |
2006 |
dc.date.accessioned.spa.fl_str_mv |
2019-07-03T16:34:59Z |
dc.date.available.spa.fl_str_mv |
2019-07-03T16:34:59Z |
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.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/73606 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/38082/ |
url |
https://repositorio.unal.edu.co/handle/unal/73606 http://bdigital.unal.edu.co/38082/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/bolma/article/view/40453 |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas Boletín de Matemáticas |
dc.relation.ispartofseries.none.fl_str_mv |
Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 2357-6529 0120-0380 |
dc.relation.references.spa.fl_str_mv |
Sierra, Manuel (2006) Sistema paracompleto lbp°¬c. Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 Boletín de Matemáticas; Vol. 13, núm. 2 (2006); 159-175 2357-6529 0120-0380 . |
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 |
Boletín de Matemáticas |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/73606/1/40453-181945-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/73606/2/40453-181945-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
613bac1253b98020b6048e584be8c8da 229870712e0940cdddda9c544bed6c06 |
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_ |
1814089431927226368 |