幂格及其代数特征

从格的定义及其代数特性着手，诱导出幂格及其代数特征。     

BR_0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

信息系统诱导的信息代数

通过对信息系统诱导一个信息代数进行新的刻画, 得到一个信息系统可以诱导一个信息代数, 而不再需要附加条件, 并且得到一个连续的信息系统可得一个连续的信息代数, 一个紧信息系统可得一个紧信息代数.     

李代数的张量积所确定的Leibniz代数

讨论了李代数(g)以及由这个李代数诱导的Leibniz代数(g)(×)(g)的一些性质,主要从不变双线性型和导子看这两个代数之间的差异,证明了在特定条件下两者的不变双线性型维数是一致的.为进一步确定李代数(g)和(g)(×)(g)的差异,讨论了由(g)(×)(g)诱导的一类重要的李代数(g)(×)(g);最后证明了,如...     

格蕴涵代数与双格半群

给出格蕴涵代数诱导的双格半群、Ｓ－格半群和格半群，并通过其结构得出了一些格蕴涵代数的性质。     

关于局部顶点李代数的一点注记

根据局部顶点李代数的同态，可惟一地诱导出由它们分别构造所得的顶点代数之间同态的理论。进一步探讨了局部顶点李代数的概念。给出了关于局部顶点Poisson微分代数的两个命题，补充完善了这两个命题。详细解释了顶点李代数是局部顶点李代数的特例。     

Fuzzy蕴涵代数上的一致结构及诱导拓扑

为了探寻Fuzzy蕴涵代数的拓扑特征和揭示逻辑代数与拓扑学之间的内在联系，利用Fuzzy蕴涵代数上的同余关系概念和对有限交关闭的MP滤子族构造了一个一致结构，从而诱导出一个拓扑。讨论了该一致结构和相应诱导拓扑的性质。     

特殊导子李超代数的完备性

研究了李超代数的完备性问题,把完备李代数研究中的导子塔方法应用于李超代数中。通过对给定的中心平凡的李超代数,以及由它诱导的一个李超代数和诱导李超代数全形的讨论,证明了原李超代数导子代数的维数公式,进而得到了其导子李超代数的完备性。     

泛代数的商代数及其应用

对泛代数的合同关系和商代数作些讨论，主要涉及诱导的合同关系，关于合同关系的几个结果、商代数和同态定理、积代数的商代数等，分别得到了一些结果，并给出它们的一些应用。     

半环诱导赋值代数的轮廓解

先对全序半环诱导的赋值代数的轮廓解性质进行研究,  再在全序半环诱导的赋值代数中引入保轮廓解的概念, 并借助轮廓解的性质, 对转移函数f保全序半环诱导的赋值代数的轮廓解问题进行研究. 结果表明, 若转移函数f是一个半环同态, 则f是保轮廓解的.     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

英语篇章写作中线式结构与螺旋结构的对比分析

英语篇章写作是英语学习过程中的的重要技能,并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析,可以发现汉语和英语语篇在不同程度上分别受到了线式和螺旋推理逻辑的影响,同时也体现了中国文化取向模式与英美文化取向模式的共存。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

集成电路芯片组合逻辑辨识实验系统的研制

文章围绕数字集成电路芯片组合逻辑关系判别问题,主要探究了芯片电气属性判定方法、多输入变量的逻辑简化以及芯片逻辑关系测试。在设计过程中,首先通过实验手段提出判定芯片引脚的方法,即分辨出输入引脚、输出引脚、电源和地引脚。在此基础上,利用PIC16F877A单片机和Visual Basic软件共同完成芯片逻辑关系的测试。测试出来的真值表再经由Boolean Minimizer软件进行逻辑简化,最终得到了最简的输入输出之间的逻辑关系。实验证明系统运行快捷,辨识结果可靠。