互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

试论互逆主义数学哲学与东方精确科学

经验科学、数学、逻辑分别是初抽象、再抽象、全抽象科学,数学定理与逻辑定理之间具有相似性是有原因的,互逆主义具有整体论、非公理化、实用化的性质,是东方精确科学的代表之一,而东方精确科学可优于西方逻辑和数学.     

从逻辑方阵经逻辑矩形到逻辑饼

在表示4个命题之间6个对当关系的逻辑方阵的基础上,提出能表示5个命题之间10个对当关系的逻辑矩形,进而提出能表示6个命题之间的15个对当关系的逻辑饼.     

铬铁矿球团焙烧固结特性

本文系统研究铬铁矿球团的焙烧固结特性.结果表明：预热时间对于预热球强度影响不大,在预热时间为10 min时,随着预热温度的提高,预热球强度和氧化率呈直线型增加,适宜温度为1050益,此时预热球强度可达每个400 N以上;与传统铁矿球团相比,铬铁矿球团焙烧所需的温度高,焙烧时间为10 min时,焙烧温度从1250益提高到1350益,球团强度从每个1078 N提高到1973 N.在铬铁矿球团预热和焙烧过程中,铬尖晶石( Fe,Mg)( Cr,Fe,Al)2 O4氧化生成富镁的( Fe,Mg)( Cr, Fe,Al)2O4和铬铁铝复合氧化物(Cr,Fe,Al)2O3,当温度高于1000益时,(Cr,Fe,Al)2O3新相生成,其主要以环状分布在颗粒外层,颗粒内部为针状与(Fe,Mg)(Cr,Fe,Al)2O4形成交织结构,降低Cr/Fe比或升高焙烧温度均有助于(Cr,Fe,Al)2O3向颗粒外层富集和再结晶长大,有利于球团的固结,提高球团强度.     

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。     

实质蕴涵与互逆真蕴涵

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