paraconsistent logic
名词 n.
英文释义
名词 n.
- 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.
- The study of such systems.
0 次浏览
数据来源: Wiktionary