What is many-valued logic?

被引：10

作者：

Beziau, JY

机构：

来源：

27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS | 1997年

关键词：

D O I：

10.1109/ISMVL.1997.601384

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued. Thirdly we analyze the principle of bivalence and shaw that it appears at a deeper level than one usually thinks.

引用

页码：117 / 121

页数：5