多值逻辑与计算机科学

本文综述多值逻辑与计算机科学的紧密联系,通过对数字计算系统的多值逻辑设计与计算机科学、计算机工程的理论和应用中所涉及的多值逻辑与计算机同步发展的特点,以理性和实践的观点考察多值逻辑设计与应用的基础、历史和动力,阐明多值逻辑这一新兴研究领域的重要地位和作用,并简要介绍多值逻辑的理论与应用,特别强调了在五代机与光计算机研制中多值逻辑所扮演的角色的重要性。     

一次可编程电路

在读状态下,为了与Philips公司的82S131电路完全兼容,设计了一种可编程电路。选用华虹HMOTPFA OTP MACRO,采用多值逻辑、端口复用等设计技术实现了用户提出的技术要求。芯片在0.35μm CMOS工艺下设计并流片,流片一次成功。测试表明,在编程电压12V、电源电压7V条件下,该编程器测试芯片的编程功能和读出功能正常。     

现当代多值逻辑的主要技术成果和语义哲学基础

多值逻辑是取三个以上真值的非经典逻辑,寻找可靠的哲学基础和语义解释是多值逻辑研究的重要课题。随着多值逻辑研究成果的日益丰富,有些逻辑哲学问题可以得到澄清,而有些新问题逐渐显现出来。本文在对多值逻辑现当代主要研究成果给以整理的基础上,将对多值逻辑的语义解释困难和哲学基础问题进行分析。在分析中得出这样的结论:多值逻辑难以找到普遍适用的语义解释,但是可以有完美的局部解释,这种情况与经典逻辑类似,因此多值逻辑与经典逻辑一样有哲学基础。