脉冲型时序逻辑网络设计（Ⅲ）

为文献［１］的继续，利用多值逻辑方法讨论二值脉冲型时序逻辑网络的设计，并以实例说明这种方法的设计过程。该方法适用于计算机辅助设计。此外，首次提出了初态自启动的概念及初态自启动网络设计问题。     

准完备类中的一元半群

系统地讨论了准完备类中的一元半群,定出了全部极大木质一元半群和群,从而精确地定出了基本一元集和基本群的充要条件。此外,还简捷地明明了不可迁群和非本原群的极大性定理。     

三值主从JK触发器的研究

本文提出一种具有三轨铺出的三值主从JK触发器的电路设计，经计算机模拟和通过测试由TTL门组成的实验电路表明，该触发器能实现预定的逻辑功能。     

部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。     

多值模代数系统研究

综述了多值模代数系统，介绍了以模乘、模加运算为基本运算的传多值模代数系统以及能将模从质数扩展到部分合数的多值模代数系统。此外，还给出了模减与模除运算，从而完善了对多值模四则运算的研究。     

多值逻辑函数组的置换

研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法.     

用S码对正交表和交互表进行逻辑设计

提出了一种新的编码，即所谓的Ｓ码。根据Ｓ码能直接写出正交表中各纵列的逻辑表达式；亦能通过Ｓ码的运算及等价变换直接得到交互表。     

多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 .     

多值逻辑函数的分类

本文对多值逻辑函数的分类进行了研究，对保绝对矢量谱的七类基本运算，首镒给出了多值逻辑函数的分类定理，具体计称出了２值ｎ变量，３值３变量等逻辑系 分类数。此外，较简捷地证明了Ｐｏｌｙａ定理。     

Lukasiewicz多值逻辑系统中的相似度及伪距离

逻辑度量空间是近似推理的重要框架。文中在文献中提出的公式集F(S)上相似度的基础上给出了另外两种相似度，讨论了其性质，证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质，并得到了3种伪距离的比例关系，为推理程度的数值化提供了依据。