实质蕴涵与互逆真蕴涵

对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。     

Hopf代数情形的Maschke定理──一种新的证明(英)

给出了Hopf代数情形的Maschke定理的一种新的基本的证明,它不同于Larson及Sweedler的方法,还给出了Maschke定理的一个应用．     

互逆主义集合论排除了逻辑-数学悖论

互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同。     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理（充分条件假言推理、必要条件假言推理、充分必要条件假言推理）、尽举选言推理（尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理）、非推导逻辑定理（不矛盾定理、排中定理）等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

<现代归纳逻辑的哲学视野>述评

以对归纳概率的多元主义解释研究作为切入点,解析逻辑哲学的核心理念以及如何应用于非经典逻辑,尤其是现代归纳逻辑.与此同时,从特定角度①对我国归纳逻辑梯队三代人的成长作了简要的历史性评述.     

程序设计中的逻辑分解技术

利用逻辑化简方法,给出了程序设计中的逻辑分解技术。分解技术能化简逻辑判断中的冗余命题,减少判断的运行时间。讨论了搜索技术的递归中如何使用分解技术。此外,对于划分类型的判断,分解技术退化成集合归并方法,化简判断更为方便。在实际程序设计中,合理使用分解技术能有效提升算法性能,使程序更为清晰易懂。     

带参数的Lp系统中的逻辑度量结构

在带参数的厶系统中引入了逻辑度量p,从而（[0．1],p）构成一个逻辑度革空间,对该度量空间的结构及其拓扑性质进行了详尽的讨论,得到了一些好的结果,如a∈（0．1）,{a}）既开又闭。     

自动逻辑综合中有关冒险问题的探讨

代数拓扑方法用于逻辑综合得到最小覆盖,为了避免可能出现冒险,需要进行冒险问题的讨论.     

平面上的单调有界定理及其应用

首先定义平面上的半序集,然后获得平面上的单调有界定理.作为单调有界定理的应用,我们证明平面上的闭矩形区域套定理.     

条件事件和三值逻辑

文中以Ｇｏｏｄｍａｎ条件事件代数为背景，基于一种与主理想陪集形式有一一对应关系的特殊的条件事件表示法，建立了一个代数模型．在此模型上研究了条件事件和三值逻辑之间的关系，并给出了条件事件运算和三值逻辑运算的９种对应关系     

8n阶标准幻立方的第2类快速构造方法

给出8n阶标准幻立方的一类构造方法,即先构造出,n~3个第2类8阶等值标准幻立方砌块,再用这些砌块构造或8n阶标准幻立方。     

基于拓展性和魔方变换的自适应蚁群算法

针对传统蚁群算法在求解过程中搜索时间过长、易于出现早熟停滞的缺陷,提出一种具有拓展性的自适应蚁群算法.蚁群综合启发式信息、信息素轨迹和拓展性信息自适应地调整状态转移规则,并采用全局信息素非均匀更新策略,有效增强了蚁群的全局搜索能力.同时,受魔方变换的启发,提出了一种新颖的魔方变异策略,以加快对迭代最优解进行局部优化的速度.旅行商问题仿真验证了文中改进蚁群算法的有效性,其收敛速度、稳定性远高于传统蚁群算法.     

用混沌序列对数字图像进行魔方加密

介绍了非线性动力学系统的Logistic映射形成混沌序列的方法，提出了一种新的置乱方法：魔方变换。设计了基于魔方变换的图像加密／解密算法，首先由Logistic映射生成得到自然数混沌序列，以此序列为参数对图像矩阵进行魔方置乱后得到加密图像，逆过程即是解密算法。实验结果证明了算法的有效性。     

论逻辑思维的功能与局限性

针对流行的一些错误观点，本文重新界定了逻辑与逻辑思维，认为逻辑思维是人类自然的、也是运用最广泛的思维模式；但逻辑思维并不是人类唯一正确的思维模式，它本身存在不可避免的局限性，应与其它思维方式有机结合。     

A Constructive Method of Pandiagonal Magic Squares

By means of this approach, a constructive method of pandiagonal magic squares is proposed. Pandiagonalmagic squares of order mn can be generated via two ones which are orders m and n, respectively.     

一种优于PID控制的泛布尔代数的多值逻辑控制

提出一种基于泛布尔代数的多值逻辑控制器,与传统的PID控制器进行比较,通过Matlab仿真说明,此控制器要优于PID控制器,表现出鲁棒性强、超调量小的特点。该控制器结构简单,物理背景明确,数学概念清晰,便于在工业控制领域推广应用。     

管理的三个逻辑起点

管理学自从诞生以来,其理论研究的逻辑起点至今仍然模糊.管理的逻辑起点,是为了解决管理问题而采取各项管理措施背后的动因.只有找到管理的逻辑起点,才能走出管理方法的丛林,走出过度管理的重管理误区,实现轻松管理.管理的逻辑起点是由管理的本质决定的.理解管理本质的前提是理清管理的内在逻辑.管理逻辑起点的最大误区是以人为本.企业成熟度不同,决定了管理具有不同需求层次.不同管理需求层次具有不同的逻辑起点,即提高劳动效率是管理逻辑的第一个起点,提高组织效率是管理逻辑的第二个起点,提高个人效率是管理逻辑的第三个起点.企业可根据不同的管理层次,选择不同的管理逻辑起点,采取相应的管理方法,实现举重若轻的轻管理.     

逻辑导引排序算法

提出一种整型数排序算法，它是通过逻辑向量对欲排序元素的分配和回收而实现排序过程，这种方法改善了排序的时间复杂度，并且用Ｃ语言编程序，与快速排序算法比较，运行结果表明了本算法性能优越。     

求取工业机器人测试立方体的生长法

求取ISO 92 83所规定的工业机器人的测试立方体 .籽立方体在不规则的机器人工作空间中生长 ,其顶点不超出工作空间 .搜索所有可能的立方体 ,选择其体积最大者 .计算实例表明 ,生长法可用于各种工业机器人 .生长法可按ISO 92 83的规定确定不规则工作空间中的测试立方体和测试点 ,避免了选定测试点的盲目性和随意性     

司法问语的逻辑要求

就司法问语的逻辑要求问题进行了探讨。认为，司法问语所涉概念的内涵和外延必须明确；司法问语必须遵循逻辑规律，不应具有预设性或暗示性；司法问语应讲究技巧。