Categoría: Lógica paraconsistente

Rama de la lógica que permite la coexistencia de contradicciones sin que el sistema se vuelva trivial, útil en contextos donde los sistemas son inherentemente contradictorios.