paraconsistent logic
Appearance
English
[edit]Noun
[edit]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
[edit]formal logical system without principle of explosion
|
study of logical systems without principle of explosion
|