paraconsistentization

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

paraconsistent +‎ -ization

Noun[edit]

paraconsistentization (uncountable)

  1. (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.