paraconsistent logic

English

Noun

paraconsistent logic (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

formal logical system without principle of explosion

Russian: паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika)

study of logical systems without principle of explosion

Russian: паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika)

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.