Lógica Básica Paraconsistente y Paracompleta con Negación Clásica
La negación clásica prohíbe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo es una generalización de la lógica clásica. En él se tiene un operador llamado "negación débil", el cual tiene la característi...
- Autores:
-
Sierra, Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2002
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/17266
- Acceso en línea:
- http://hdl.handle.net/10784/17266
- Palabra clave:
- Inconsistencia
Indeterminación
Negación fuerte y negación débil
- Rights
- License
- Copyright © 2002 Manuel Sierra
| id |
REPOEAFIT2_e73b8d4088f282fe9de619f55d08082f |
|---|---|
| oai_identifier_str |
oai:repository.eafit.edu.co:10784/17266 |
| 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 degrees20022020-07-30T20:57:43Z20022020-07-30T20:57:43Z0120-341Xhttp://hdl.handle.net/10784/17266La negación clásica prohíbe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo es una generalización de la lógica clásica. En él se tiene un operador llamado "negación débil", el cual tiene la característica de no prohibir la compatibilidad de un enunciado con su negación ni las indeterminaciones respecto a la negación.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/950/855http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/950/855Copyright © 2002 Manuel SierraAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 38, No. 126 (2002)Lógica Básica Paraconsistente y Paracompleta con Negación Clásicaarticleinfo: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_2df8fbb1InconsistenciaIndeterminaciónNegación fuerte y negación débilSierra, ManuelUniversidad EAFITRevista Universidad EAFIT381268191THUMBNAILdminiatura-rev-eafit[986].jpgdminiatura-rev-eafit[986].jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/a70073ad-3bfd-49b6-b958-ad59ced6e737/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument - 2020-08-24T093554.157.pdfdocument - 2020-08-24T093554.157.pdfTexto completo PDFapplication/pdf390128https://repository.eafit.edu.co/bitstreams/ccf07e7d-5125-4233-b102-71924de698bf/download5ec866d8e86aab5a39203b13992972f2MD52articulo - copia.htmlarticulo - copia.htmlTexto completo HTMLtext/html389https://repository.eafit.edu.co/bitstreams/532906ad-e1ef-424a-8826-e17cb1396252/downloadce315148a33cbdecfd624926426c010eMD5310784/17266oai:repository.eafit.edu.co:10784/172662021-09-03 15:08:48.327open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
| dc.title.spa.fl_str_mv |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| title |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| spellingShingle |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica Inconsistencia Indeterminación Negación fuerte y negación débil |
| title_short |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| title_full |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| title_fullStr |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| title_full_unstemmed |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| title_sort |
Lógica Básica Paraconsistente y Paracompleta con Negación Clásica |
| dc.creator.fl_str_mv |
Sierra, Manuel |
| dc.contributor.author.spa.fl_str_mv |
Sierra, Manuel |
| dc.contributor.affiliation.spa.fl_str_mv |
Universidad EAFIT |
| dc.subject.keyword.spa.fl_str_mv |
Inconsistencia Indeterminación Negación fuerte y negación débil |
| topic |
Inconsistencia Indeterminación Negación fuerte y negación débil |
| description |
La negación clásica prohíbe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo es una generalización de la lógica clásica. En él se tiene un operador llamado "negación débil", el cual tiene la característica de no prohibir la compatibilidad de un enunciado con su negación ni las indeterminaciones respecto a la negación. |
| publishDate |
2002 |
| dc.date.issued.none.fl_str_mv |
2002 |
| dc.date.available.none.fl_str_mv |
2020-07-30T20:57:43Z |
| dc.date.accessioned.none.fl_str_mv |
2020-07-30T20:57:43Z |
| dc.date.none.fl_str_mv |
2002 |
| 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/17266 |
| identifier_str_mv |
0120-341X |
| url |
http://hdl.handle.net/10784/17266 |
| 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/950/855 |
| dc.relation.uri.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/950/855 |
| dc.rights.eng.fl_str_mv |
Copyright © 2002 Manuel Sierra |
| 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 © 2002 Manuel Sierra 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. 38, No. 126 (2002) |
| institution |
Universidad EAFIT |
| bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/a70073ad-3bfd-49b6-b958-ad59ced6e737/download https://repository.eafit.edu.co/bitstreams/ccf07e7d-5125-4233-b102-71924de698bf/download https://repository.eafit.edu.co/bitstreams/532906ad-e1ef-424a-8826-e17cb1396252/download |
| bitstream.checksum.fl_str_mv |
9ac51cb2b5f275d90bbb40324068baab 5ec866d8e86aab5a39203b13992972f2 ce315148a33cbdecfd624926426c010e |
| 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_ |
1814110466762342400 |