Sobre Sistemas Formales Inconsistentes
1963·filosofia
Una obra fundacional sobre la lógica paraconsistente, que investiga sistemas lógicos donde una contradicción no implica la explosión deductiva de trivialidad, permitiendo razonar con información inconsistente.


