paraconsistent logic

== English == === Noun === paraconsistent logic (countable and uncountable, plural paraconsistent logics) (logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold. (logic, uncountable) The study of such systems. ==== Translations ====