LBPC-I paraconsistent system
| dc.citation.epage | 178 | |
| dc.citation.issue | 4 | |
| dc.citation.journalAbbreviatedTitle | ing.cienc. | eng |
| dc.citation.journalTitle | Ingeniería y Ciencia | eng |
| dc.citation.spage | 163 | |
| dc.citation.volume | 2 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sierra A., Manuel | spa |
| dc.coverage.spatial | 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 | eng |
| dc.date | 2006-12-01 | |
| dc.date.accessioned | 2019-11-22T19:18:49Z | |
| dc.date.available | 2019-11-22T19:18:49Z | |
| dc.date.issued | 2006-12-01 | |
| dc.description | The language of the LBPc¬I system extends the language of positive classical logic by including a weak negation operator and an incompatibility operator, in addition, it allows defining a strong negation operator; The latter has all the characteristics of classical negation. The system is characterized by a semantics of traditional valuations with which it is proved that, with respect to the weak negation operator, the system is paraconsistent. As expected, when the formulas involved in an argument behave classically, that is, they are incompatible with their weak denial, then weak denial behaves like classical denial, but this requirement is not always necessary, weak denial can be punctually as powerful as the classic one, although the formulas involved do not behave classically. | eng |
| dc.description | El lenguaje del sistema LBPc¬I extiende el lenguaje de la lógica clásica positiva al incluir un operador de negación débil y un operador de incompatibilidad, además, permite definir un operador de negación fuerte; este último tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionales con la cual se prueba que, respecto al operador de negación débil, el sistema es paraconsistente. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir, son incompatibles con su negación débil, entonces la negación débil se comporta como la negación clásica, pero este requisito no siempre es necesario, la negación débil puede ser puntualmente tan potente como la clásica, aunque las fórmulas involucradas no se comporten clásicamente. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 2256-4314 | |
| dc.identifier.issn | 1794-9165 | |
| dc.identifier.uri | http://hdl.handle.net/10784/14558 | |
| dc.language.iso | spa | spa |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/475 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/475 | |
| dc.rights | Copyright (c) 2006 Manuel Sierra A. | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | instname:Universidad EAFIT | |
| dc.source | reponame:Repositorio Institucional Universidad EAFIT | |
| dc.source | Ingeniería y Ciencia; Vol 2, No 4 (2006) | spa |
| dc.subject.keyword | Pain Compatibility | eng |
| dc.subject.keyword | Weak Denial | eng |
| dc.subject.keyword | Para-Consistent Deductive System | eng |
| dc.subject.keyword | Paincompatibilidad | spa |
| dc.subject.keyword | Negación Débil | spa |
| dc.subject.keyword | Sistema Deductivo Para-Consistente | spa |
| dc.title | LBPC-I paraconsistent system | eng |
| dc.title | Sistema paraconsistente LBPc¬I | spa |
| dc.type | article | eng |
| dc.type | info:eu-repo/semantics/article | eng |
| dc.type | publishedVersion | eng |
| dc.type | info:eu-repo/semantics/publishedVersion | eng |
| dc.type.local | Artículo | spa |