paraconsistent logic

English

English Wikipedia has an article on:

paraconsistent logic

Wikipedia

Noun

paraconsistent logic (countable and uncountable, 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

formal logical system without principle of explosion

Finnish: parakonsistentti logiikka German: parakonsistente Logik f Polish: logika parakonsystentna f Romanian: logică paraconsistentă f Russian: паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika)

study of logical systems without principle of explosion

Finnish: parakonsistentti logiikka German: parakonsistente Logik f Polish: logika parakonsystentna f Romanian: logică paraconsistentă f Russian: паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika)