Resumen de Sistema paraconsistente LBPc-I
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.
