Metadata
Author: WikiMatrix
Data
English[en]
Similarly, one can obtain calculi for dual-intuitionistic logic (a type of paraconsistent logic) by requiring that sequents be singular in the antecedent.
Spanish[es]
Del mismo modo, se pueden obtener los métodos de cálculo para la lógica intuicionista dual, que es una tipo de lógica paraconsistente, exigiendo que los consecuentes tengan una fórmula en el antecedente.