іменник · злічуване / незлічуване · рідкісне

paraconsistent logic

paraconsistent logic · paraconsistent logics

паранепротиворечивая логика

parakonsistente Logik

A particular formal logical system which allows some contradictions to be true without…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

(злічуване)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.
parakonsistente Logik, parakonsistente Logik
паранепротиворечи́вая ло́гикаparaneprotivorečívaja lógika, паранепротиворечи́вая ло́гикаparaneprotivorečívaja lógika
(незлічуване)The study of such systems.