Sistema paracompleto lbp°¬c

El lenguaje del sistema LBPo¬C extiende el lenguaje de lalógica clásica positiva al incluir un operador de negación débil y un operador de determinabilidad, y además permite definir un operador de negación fuerte, el cual tiene todas las características de la negación clásica. El sistema es caracterizado por una semántica de valuaciones tradicionalescon la cual se prueba que, respecto al operador de negación débil, el sistema es paracompleto. Como es de esperarse, cuando las fórmulas involucradas en un argumento se comportan clásicamente, es decir son determinables, entonces la negación débil se comporta como la negaciónclá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