paraconsistent logic

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

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)