Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc

El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la nega...

Full description

Autores:
Sierra Aristizábal, Manuel
Tipo de recurso:
Fecha de publicación:
2003
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/17229
Acceso en línea:
http://hdl.handle.net/10784/17229
Palabra clave:
Lógica paraconsistente
Negación débil
Semántica
Contradicción
Teoría trivial
Rights
License
Copyright © 2003 Manuel Sierra Aristizábal
id REPOEAFIT2_78a0cb84146dbe41e57750d68066c5c5
oai_identifier_str oai:repository.eafit.edu.co:10784/17229
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees20032020-07-30T20:51:51Z20032020-07-30T20:51:51Z0120-341Xhttp://hdl.handle.net/10784/17229El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la negación usual, pero sólo en casos particulares vale la reciproca. El sistema resultante soporta contradicciones débiles, es decir, sirve de base para el estudio de teorías inconsistentes pero no triviales.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815Copyright © 2003 Manuel Sierra AristizábalAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 39, No. 130 (2003)Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPcarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1Lógica paraconsistenteNegación débilSemánticaContradicciónTeoría trivialSierra Aristizábal, ManuelUniversidad EAFITRevista Universidad EAFIT391302951THUMBNAILdminiatura-rev-eafit[986].jpgdminiatura-rev-eafit[986].jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/b63ec968-9724-4830-aa73-db35eda9691f/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument - 2020-08-21T203933.401.pdfdocument - 2020-08-21T203933.401.pdfTexto completo PDFapplication/pdf377286https://repository.eafit.edu.co/bitstreams/cb75ab57-d326-4684-ab8c-ad6d7e1800b7/downloadfa96ba7f3158f71de3dfcc4a47889081MD52articulo - copia (4).htmlarticulo - copia (4).htmlTexto completo HTMLtext/html389https://repository.eafit.edu.co/bitstreams/5d6defba-a525-42e5-85f3-a63727bf561c/downloadc4774820a2f0a9f13686300aa4e19a98MD5310784/17229oai:repository.eafit.edu.co:10784/172292021-09-03 15:08:59.613open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.spa.fl_str_mv Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
title Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
spellingShingle Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
Lógica paraconsistente
Negación débil
Semántica
Contradicción
Teoría trivial
title_short Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
title_full Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
title_fullStr Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
title_full_unstemmed Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
title_sort Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPc
dc.creator.fl_str_mv Sierra Aristizábal, Manuel
dc.contributor.author.spa.fl_str_mv Sierra Aristizábal, Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.spa.fl_str_mv Lógica paraconsistente
Negación débil
Semántica
Contradicción
Teoría trivial
topic Lógica paraconsistente
Negación débil
Semántica
Contradicción
Teoría trivial
description El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la negación usual, pero sólo en casos particulares vale la reciproca. El sistema resultante soporta contradicciones débiles, es decir, sirve de base para el estudio de teorías inconsistentes pero no triviales.
publishDate 2003
dc.date.issued.none.fl_str_mv 2003
dc.date.available.none.fl_str_mv 2020-07-30T20:51:51Z
dc.date.accessioned.none.fl_str_mv 2020-07-30T20:51:51Z
dc.date.none.fl_str_mv 2003
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 0120-341X
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/17229
identifier_str_mv 0120-341X
url http://hdl.handle.net/10784/17229
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815
dc.rights.eng.fl_str_mv Copyright © 2003 Manuel Sierra Aristizábal
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright © 2003 Manuel Sierra Aristizábal
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.none.fl_str_mv Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.spa.fl_str_mv Revista Universidad EAFIT, Vol. 39, No. 130 (2003)
institution Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/b63ec968-9724-4830-aa73-db35eda9691f/download
https://repository.eafit.edu.co/bitstreams/cb75ab57-d326-4684-ab8c-ad6d7e1800b7/download
https://repository.eafit.edu.co/bitstreams/5d6defba-a525-42e5-85f3-a63727bf561c/download
bitstream.checksum.fl_str_mv 9ac51cb2b5f275d90bbb40324068baab
fa96ba7f3158f71de3dfcc4a47889081
c4774820a2f0a9f13686300aa4e19a98
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110267927166976

Publicaciones similares