paraconsistentization
Appearance
English
[edit]Etymology
[edit]From paraconsistent + -ization.
Noun
[edit]paraconsistentization (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.