基于四值逻辑的伽罗华域AB+C电路设计

为了提高AB+C运算电路的运算速度,降低其电路实现的复杂性,本文在GF(2⁴)上给出了一种基于四值逻辑的AB+C算法及其基于脉动阵列结构的电路实现.在电路设计中采用了基于源极耦合逻辑的多值技术,利用四值电流模进行运算,以改善电路的首次延时及晶体管和连线的数目.在0.18μm CMOS工艺下利用HSPICE进行了电路仿真验证.结果显示,对比于相应的基于二值逻辑的COMS实现技术,首次延时及晶体管与连线的数目总和分别减少了54%和5%.所设计的并入并出脉动阵列电路,结构简单、规整、模块化,适用于VLSI的实现.多值逻辑电路与基于多值逻辑的对应算法的结合很可能成为实现GF(2^k)上高性能运算的潜在解决方案.     

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

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

模糊序与强化范畴（英文）

这篇短文旨在解释赋予序结构的模糊集可以视作quantaloid上的强化范畴.这表明在模糊集的研究中,范畴理论是有益的、不可或缺的工具.     

多值逻辑函数的分类与谱分析

该文对多值逻辑函数的分类与谱分析进行了研究，指出了保7类基本运算未必是保谱变换，因此，必须寻找新的其它运称．还提出了新运算应满足的重要的必要条件．     

关于部分K值逻辑Sheffer函数判定的一些结果(II)

根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。     

系统Ha中广义语义MP规则与广义语义HS规则

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0相似文献   

逻辑的分析与合成怎样剪切与粘贴推理系统

逻辑在纯科学和应用科学中广泛的可应用性是一个向哲学家挑战的事实。现代逻辑研究具有一个不可否认的朝着多重性和区域化发展的趋势。正如在许多领域和子领域中哲学逻辑的划分所示，一方面我们具有对经典的逻辑替代，例如多值逻辑、直觉主义逻辑补充、仿相容逻辑；另一方面我们有对经典的逻辑补充，例如模态逻辑、特别是时态逻辑、认识逻辑、信念逻辑、疑问逻辑和义务逻辑。     

一些Sheffer型的运算

给出一些不同于Ｒ．Ｌ．Ｇ在１９６７年得到的Ｓｈｅｆｆｅｒ型的运算。     

部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

正则分划D~r的存在性

根据Ｅｋ的正则分划Ｄｒ的阶数ｒ以及满足正则分划定义的直接分划的个数ｍ与ｋ的关系，给出了两个主要结果：（１）当ｒｍ＞ｋ时，Ｅｋ不存在正则分划；（２）当ｒｍ≤足时，Ｅｋ一定存在正则分划Ｄｒ．并给出了Ｅｋ，当ｋ≤５时的正则分划的实例计算．