模态系统S4.1的协调性

文献［7]证明了严格蕴涵系统S4的协调性，本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4．1的协调性。     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.     

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

关于模态命题系统P_5的协调性

证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.     

命题公式集F(S)在Godel系统中的一个24类分划

将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

论圣维南原理相对于线性弹性力学的不协调性——数理逻辑在弹性力学中的应用

我们以S代表圣维南原理,以T代表排除了圣维南原理的那部分线性弹性力学的理论,以∑代表S和T所组成的理论的并,记做∑≡T∪S.本文的目的是证明∑是不协调的.关于协调性的概念可参考Chang C.C.和Keisler H.J.合著的书.     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。     

R-蕴涵与(S,N)-蕴涵等价关系的研究

当(T,S,N)为德摩根三元组时,分别在T为连续t-模和左连续t-模条件下讨论了R-蕴涵与(S,N)-蕴涵之间的等价关系,得到了二者等价的若干定理.同时,基于蕴涵自身所满足的性质,给出了二者等价的一个充分条件.得到的结论一方面有助于更好地理解两类模糊蕴涵之间的关系,另一方面为模糊蕴涵的应用提供了必要的理论基础.     

拟纯正半群的E-酉拟纯正盖

对任一拟纯正半群S,利用S(视为集合)上自由群G和半群的关系同态理论构作一个半群胚C,证明群G自由可迁地作用在C上.由此得到一个幺半群C1及半群P=C1\{1C1}.证明P是E-酉拟纯正半群,G是P的最大群同态像,且S是P的幂等元分离同态像.从而,证明任意的拟纯正半群都存在给定群G上的E-酉拟纯正盖.     

事业单位工资改革中的最大值套改计算法

本文通过１９９３年事业单位工资制度改革的实践操作，把工改文件的套改政策理论转化为具体的计算机操作，根据计算机中的数据库技术及取最大值的数学手段，高效、准确地完成了工改任务，并向人事劳资管理工作者提出了工改的计算机软件思路：最大值套改计算法     

北海市浅海滩涂利用发展浅议

该文根据北海市浅海滩涂的自然优势,着重探讨了浅海滩涂养殖业的现状及存在问题,并提出合理利用发展的对策.     

黄河断流对下游生态环境的影响研究

把黄河下游山东段分为黄河下游沿河两岸,黄河三角洲及渤海湾,莱州湾浅海区三部分进行研究,分析了黄河断流对该地区生态环境的影响,并提出了解决黄河下游断流的几何措施。     

企业精神与产品质量提高

本文论述了市场经济条件下，企业精神对保证产品质量的重要作用，提出了培育企业精神的措施．     

元素的结构分析与元素周期律的不规则性

本文通过对元素周期系中,各元素的结构分析,很方便地找到了对元素的不规则性的解释。     

智能风速表的研究

本文介绍以80C31单片机为核心的智能风速表系统。针对风速的检测、自动计时、显示、数据处理,具体介绍了风速表的硬件组成原理、风速检测处理方法及软件设计。     

耕地总量动态平衡探析

随着社会经济的发展，人们对土地问题的关注程度不断提高，本文就什么是耕地总量，耕地总量在什么状态下才算是达到了动态平衡，如何实现耕地总量动态平衡等问题提出一些看法和认识，并为实现耕地总量动态平衡提出对策与措施。     

元代防治蝗灾的措施

主要研究了元代前期和中期对防治蝗灾所采取的具体措施,措施中包括方法,技术指导等。元代治理蝗灾的指导思想是以防为主,防重于治,规定各级地方官员必须负丽防蝗治蝗工作,对于失职者要予以处罚。