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

Vista sencilla de ítem
dc.citation.epage51
dc.citation.issue130
dc.citation.journalTitleRevista Universidad EAFITeng
dc.citation.spage29
dc.citation.volume39
dc.contributor.affiliationUniversidad EAFITspa
dc.contributor.authorSierra Aristizábal, Manuelspa
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.date2003
dc.date.accessioned2020-07-30T20:51:51Z
dc.date.available2020-07-30T20:51:51Z
dc.date.issued2003
dc.descriptionEl 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.spa
dc.formatapplication/pdf
dc.identifier.issn0120-341X
dc.identifier.urihttp://hdl.handle.net/10784/17229
dc.language.isospa
dc.publisherUniversidad EAFITspa
dc.relation.isversionofhttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815
dc.relation.urihttp://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/909/815
dc.rightsCopyright © 2003 Manuel Sierra Aristizábaleng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.sourceRevista Universidad EAFIT, Vol. 39, No. 130 (2003)spa
dc.subject.keywordLógica paraconsistentespa
dc.subject.keywordNegación débilspa
dc.subject.keywordSemánticaspa
dc.subject.keywordContradicciónspa
dc.subject.keywordTeoría trivialspa
dc.titleForzamiento Semántico de Marcas para la Lógica Básica Paraconsistente - LBPcspa
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-21T203933.401.pdf
Tamaño:
368.44 KB
Formato:
Adobe Portable Document Format
Descripción:
Texto completo PDF
Descargar
No hay miniatura disponible
Nombre:
articulo - copia (4).html
Tamaño:
389 B
Formato:
Hypertext Markup Language
Descripción:
Texto completo HTML
Descargar

Colecciones

Revista Universidad EAFIT, Vol. 39, Núm. 130 (2003)