paraconsistentization
English
editEtymology
editNoun
editparaconsistentization (uncountable)
- (logic, rare) Conversion to a paraconsistent form.
- 2016, Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H.B. Dias, “On a paraconsistentization functor in the category of consequence structures”, in arXiv[1]:
- Moreover, we study the case of paraconsistentization of propositional classical logic.