English

Noun

paraconsistent logic ‎(plural paraconsistent logics)

1. (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.
2. (logic, uncountable) The study of such systems.

Translations