Lógica Básica con Afirmación y Negación Alternas
El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre l...
- Autores:
-
Sierra Aristizábal, Manuel
- Tipo de recurso:
- Fecha de publicación:
- 2005
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- spa
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/17169
- Acceso en línea:
- http://hdl.handle.net/10784/17169
- Palabra clave:
- Afirmación
Negación
Incompatibilidad
Determinabilidad
- Rights
- License
- Copyright © 2005 Manuel Sierra Aristizábal
id |
REPOEAFIT2_33d2835d5fe58ed1b5ca606635c45a10 |
---|---|
oai_identifier_str |
oai:repository.eafit.edu.co:10784/17169 |
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 degrees20052020-07-30T20:36:32Z20052020-07-30T20:36:32Z0120-341Xhttp://hdl.handle.net/10784/17169El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre la negación usual y la afirmación alterna y entre los operadores alternos de afirmación y negación. El sistema está caracterizado por una semántica de valuaciones tradicional, con la cual se establece la diferencia entre los operadores afirmación y entre los operadores negación.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/858/764http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/858/764Copyright © 2005 Manuel Sierra AristizábalAcceso abiertohttp://purl.org/coar/access_right/c_abf2Revista Universidad EAFIT, Vol. 41, No. 138 (2005)Lógica Básica con Afirmación y Negación Alternasarticleinfo: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_2df8fbb1AfirmaciónNegaciónIncompatibilidadDeterminabilidadSierra Aristizábal, ManuelUniversidad EAFITRevista Universidad EAFIT411388495THUMBNAILdminiatura-rev-eafit[986].jpgdminiatura-rev-eafit[986].jpgimage/jpeg118416https://repository.eafit.edu.co/bitstreams/0b5dd343-5355-40de-bf54-ca95995fcfdb/download9ac51cb2b5f275d90bbb40324068baabMD51ORIGINALdocument - 2020-08-15T155905.358.pdfdocument - 2020-08-15T155905.358.pdfTexto completo PDFapplication/pdf234549https://repository.eafit.edu.co/bitstreams/019095b9-d833-44b3-b926-9edf9fdf9437/download9ca22b622ee4b173084e0b77ed39a0caMD52articulo - copia (6).htmlarticulo - copia (6).htmlTexto completo HTMLtext/html389https://repository.eafit.edu.co/bitstreams/b0705666-e14a-40d3-97c5-17d80189c654/download0d9d4835d09fac5a84ec2d828171a78dMD5310784/17169oai:repository.eafit.edu.co:10784/171692021-09-03 15:09:19.904open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
dc.title.spa.fl_str_mv |
Lógica Básica con Afirmación y Negación Alternas |
title |
Lógica Básica con Afirmación y Negación Alternas |
spellingShingle |
Lógica Básica con Afirmación y Negación Alternas Afirmación Negación Incompatibilidad Determinabilidad |
title_short |
Lógica Básica con Afirmación y Negación Alternas |
title_full |
Lógica Básica con Afirmación y Negación Alternas |
title_fullStr |
Lógica Básica con Afirmación y Negación Alternas |
title_full_unstemmed |
Lógica Básica con Afirmación y Negación Alternas |
title_sort |
Lógica Básica con Afirmación y Negación Alternas |
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 |
Afirmación Negación Incompatibilidad Determinabilidad |
topic |
Afirmación Negación Incompatibilidad Determinabilidad |
description |
El sistema Lógica básica con afirmación y negación alternas incluye, además de los operadores usuales de afirmación y negación, operadores para las nociones de afi rmación y negación alternas y operadores de incompatibilidad y determinabilidad entre la afirmación usual y la negación alterna, entre la negación usual y la afirmación alterna y entre los operadores alternos de afirmación y negación. El sistema está caracterizado por una semántica de valuaciones tradicional, con la cual se establece la diferencia entre los operadores afirmación y entre los operadores negación. |
publishDate |
2005 |
dc.date.issued.none.fl_str_mv |
2005 |
dc.date.available.none.fl_str_mv |
2020-07-30T20:36:32Z |
dc.date.accessioned.none.fl_str_mv |
2020-07-30T20:36:32Z |
dc.date.none.fl_str_mv |
2005 |
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/17169 |
identifier_str_mv |
0120-341X |
url |
http://hdl.handle.net/10784/17169 |
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/858/764 |
dc.relation.uri.none.fl_str_mv |
http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/858/764 |
dc.rights.eng.fl_str_mv |
Copyright © 2005 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 © 2005 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. 41, No. 138 (2005) |
institution |
Universidad EAFIT |
bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/0b5dd343-5355-40de-bf54-ca95995fcfdb/download https://repository.eafit.edu.co/bitstreams/019095b9-d833-44b3-b926-9edf9fdf9437/download https://repository.eafit.edu.co/bitstreams/b0705666-e14a-40d3-97c5-17d80189c654/download |
bitstream.checksum.fl_str_mv |
9ac51cb2b5f275d90bbb40324068baab 9ca22b622ee4b173084e0b77ed39a0ca 0d9d4835d09fac5a84ec2d828171a78d |
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_ |
1814110153361850368 |