Lógica básica con aceptación fuerte

El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunci...

Full description

Autores:
Sierra, Manuel
Tipo de recurso:
Article of journal
Fecha de publicación:
2002
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/73493
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73493
http://bdigital.unal.edu.co/37969/
Palabra clave:
Strong affirmation
weak affirmation
negation
axiom
classical logic
valuation
trivialization.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_b73469d6a4be75dae8c5879c7322866f
oai_identifier_str oai:repositorio.unal.edu.co:unal/73493
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:25:44Z2019-07-03T16:25:44Z2002https://repositorio.unal.edu.co/handle/unal/73493http://bdigital.unal.edu.co/37969/El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunciado y la negación de su aceptación fuerte sean ambos falsos.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40231Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380Sierra, Manuel (2002) Lógica básica con aceptación fuerte. Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380 .Lógica básica con aceptación fuerteArtí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/ARTStrong affirmationweak affirmationnegationaxiomclassical logicvaluationtrivialization.ORIGINAL40231-180498-1-PB.pdfapplication/pdf160146https://repositorio.unal.edu.co/bitstream/unal/73493/1/40231-180498-1-PB.pdf17a7da1f6b5d1639be188ee2d0905222MD51THUMBNAIL40231-180498-1-PB.pdf.jpg40231-180498-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4668https://repositorio.unal.edu.co/bitstream/unal/73493/2/40231-180498-1-PB.pdf.jpg046d8e2230a27e9a24af57c4d83c8bf0MD52unal/73493oai:repositorio.unal.edu.co:unal/734932023-06-29 23:03:30.591Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Lógica básica con aceptación fuerte
title Lógica básica con aceptación fuerte
spellingShingle Lógica básica con aceptación fuerte
Strong affirmation
weak affirmation
negation
axiom
classical logic
valuation
trivialization.
title_short Lógica básica con aceptación fuerte
title_full Lógica básica con aceptación fuerte
title_fullStr Lógica básica con aceptación fuerte
title_full_unstemmed Lógica básica con aceptación fuerte
title_sort Lógica básica con aceptación fuerte
dc.creator.fl_str_mv Sierra, Manuel
dc.contributor.author.spa.fl_str_mv Sierra, Manuel
dc.subject.proposal.spa.fl_str_mv Strong affirmation
weak affirmation
negation
axiom
classical logic
valuation
trivialization.
topic Strong affirmation
weak affirmation
negation
axiom
classical logic
valuation
trivialization.
description El sistema “Lógica Básica con Aceptación Fuerte” es una generalización de la Lógica Clásica. En él se tiene un operador llamado “aceptación fuerte”, el cual tiene la característica de permitir que un enunciado y la negación de su aceptación fuerte sean ambos verdaderos, también permite que un enunciado y la negación de su aceptación fuerte sean ambos falsos.
publishDate 2002
dc.date.issued.spa.fl_str_mv 2002
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:25:44Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:25:44Z
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/73493
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/37969/
url https://repositorio.unal.edu.co/handle/unal/73493
http://bdigital.unal.edu.co/37969/
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/40231
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. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Sierra, Manuel (2002) Lógica básica con aceptación fuerte. Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 Boletín de Matemáticas; Vol. 9, núm. 1 (2002); 23-52 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/73493/1/40231-180498-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73493/2/40231-180498-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 17a7da1f6b5d1639be188ee2d0905222
046d8e2230a27e9a24af57c4d83c8bf0
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_ 1814089374622547968

Publicaciones similares