Sistema paraconsistente y paracompleto LBPcPo

Vista sencilla de ítem
dc.citation.epage112
dc.citation.issue148
dc.citation.journalTitleRevista Universidad EAFITeng
dc.citation.spage91
dc.citation.volume43
dc.contributor.affiliationUniversidad EAFITspa
dc.contributor.authorSierra Aristizábal, Manuelsp
dc.coverage.spatialMedellí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.date2007
dc.date.accessioned2020-06-12T16:43:23Z
dc.date.available2020-06-12T16:43:23Z
dc.date.issued2007
dc.descriptionEl sistema LBPcPo se construye como una extensión de la lógica clásica positiva al incluir dos operadores de negación alterna, un operador de incompatibilidad y un operador de completez, y a partir de los cuales se definen los operadores de negación fuerte, afirmación alterna y completez alterna. El sistema es caracterizado por una semántica devaluaciones con la cual se prueba que, respecto a un operador denegación alterna el sistema es paracompleto, con respecto al otro es paraconsistente, y además, el operador de negación fuerte tiene todas las características de la negación clásica. También se presenta el sistema LBVA, con el cual se pretende caracterizar deductivamente las definiciones de verdad y falsedad presentadas por Aristóteles, resultando que este sistema es equivalente al sistema LBPcPo, donde el operador de falsedad aristotélica coincide con la negación paracompleta, y el operador de verdad aristotélica coincide con el operador de afirmación alterna.spa
dc.formatapplication/pdf
dc.identifier.issn0120-341X
dc.identifier.urihttp://hdl.handle.net/10784/16710
dc.language.isospa
dc.publisherUniversidad EAFITspa
dc.relation.isversionofhttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626
dc.relation.urihttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/704/626
dc.rightsCopyright © 2007 Manuel Sierra Aristizábaleng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.sourceRevista Universidad EAFIT, Vol. 43, No. 148 (2007)spa
dc.subject.keywordVerdadspa
dc.subject.keywordFalsedadspa
dc.subject.keywordAfirmación alternaspa
dc.subject.keywordNegación alternaspa
dc.subject.keywordParacompletospa
dc.subject.keywordParaconsistentespa
dc.titleSistema paraconsistente y paracompleto LBPcPospa
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typepublishedVersioneng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 2 de 2
No hay miniatura disponible
Nombre:
document - 2020-08-05T191126.883.pdf
Tamaño:
258.81 KB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo PDF
Descargar
No hay miniatura disponible
Nombre:
articulo - copia.html
Tamaño:
389 B
Formato:
Hypertext Markup Language
Descripción:
Texto completo HTML
Descargar

Colecciones

Revista Universidad EAFIT, Vol. 43, Núm. 148 (2007)