paraconsistent logic

名词 n.

英文释义

名词 n.
  1. 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. countable
  2. The study of such systems. uncountable

词形变化

0 次浏览 数据来源: Wiktionary