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

Full description

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