摘要
现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系。从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想,本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾。
Many-valued logic is used in computer science and artificial intelligence,and become a fruitful logic branch.The idea of many-valued logic can be found in Aristotle s works.From then on,logicians developed many ideas of many-valued logic based on different needs.This paper will recall the history process from the early thought of many-valued logic to its later development.
出处
《自然辩证法研究》
CSSCI
北大核心
2008年第11期17-21,共5页
Studies in Dialectics of Nature
关键词
多值逻辑
真值
联结词
重言式
many-valued logic
truth
connective
tautology.
