关于Banach空间中抽象函数的几点注记

证明了定义于[0，1]区间，取值于Banach空间E内的抽象函数的强（弱）绝对连续性等价的充要条件是E是有限维的，给出了Banach空间E是有限维的几个充要条件，并且指出了在有限维的Banach空间中抽象函数的强（弱）可导性，强（弱）连续性均是等价的．     

PLC的微分二进制乘法@MLB（052）指令实验的探讨

介绍PLC的微分二进制乘法@MLB（052）指令的实验，先由一个程序为微分二进制乘法@MLB（052）指令完成逻辑乘法运算，来观察010CH、011CH低4位结果及012CH高2住的结果。另一个程序为微分二进制乘法@MLB（052）指令完成逻辑乘法运算，主要观察零结果。     

外延topos中的模糊物质

在一个外延ｔｏｐｏｓ中引入子物质套的概念,并在物质ｄ的子物质套的类ｕ（ｄ）中引入弱等价关系和强等价关系,进而将子特套的等价类定义的模糊子物质。给出了模糊子物质的隶属函数,讨论了模糊子物质的运算。其目的是为了在一个ｔｏｐｏｓ的框架下开展模糊系统理论的研究。     

组合逻辑形式系统CLξw的外延性

考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.     

传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

小学数学课程标准第一学段“数的运算”内容剖析

《课程标准（正式版）》与《课程标准（实验稿）》在课程第一学段“数的运算”内容有不少变化。较之《课程标准（实验稿）》，《课程标准（正式版）》在课程内容核心概念中新增了“运算能力”一词，预示着“运算能力”成为运算教学的核心概念之一，注重和强调了学生运算能力的发展。作为应用性广泛的运算教学，《课程标准（实验稿）》中“应用意识”依然被《课程标准（正式版）》保留。应用意识的含义主要体现在两个方面：一方面，有意识地利用数学概念、原理和方法解释现实世界中的现象，解决现实世界中的问题；另一方面，认识到现实生活中蕴含有大量与数量和图形有关的问题，这些问题可以抽象成数学问题，用数学的方法予以解决。     

逻辑语义学中的组合原则

组合原则是逻辑语义学中的核心原则,对组合原则的恪守推动了逻辑语义学理论的不断改进。组合原则是实现语义可组合运算的基础,本文旨在澄清在贯彻组合原则的过程当中,需要加以注意的两组概念:复合表达式的组成部分及其意义;语义的函项运算。     

归纳——命题的综合

休谟提出的＂归纳问题＂及归纳推理的形式化刻画是归纳逻辑留下的两大难题。深入考察归纳推理的各个环节就可发现,归纳不是一种单纯的思维方法,而是综合、抽象、虚拟等多种方法结合运用的复合方法。它在本质上是对单称命题的综合,其运算形式是一种加法;抽象为它提供前提中的性质命题,并为它进行归并运算提供可能;由想象补充的＂虚拟前提＂使不完全归纳演变成完全归纳,确立了归纳方法的合理性。由此得到归纳推理的通用演算形式：s1 p＋s2 p＋s3 p＋〈n〉（s p）=×（s p）。     

广义卷积代数与Hun半群及（ゅ,＊a）的半群结构

利用Ｈｕｎ半群理论，证明了任一正则广义卷积代数，按广义卷积运算和弱收敛拓扑构成一个可度量化，稳定，可模的Ｈｕｎ半群，且无除幺元以外的幂等元，并研究了（ゆ，＊ａ）的半群结构。     

弱双补代数的直积和同余

弱双补代数是在有限分配情形下对概念代数抽象而成的一种代数.考察了弱双补代数的直积和同余,通过分别在直积和同余类上构造相应的二元运算和一元运算,证明其直积和同余类亦是弱双补代数,并证明了弱双补代数的同态定理.     

对半符号逻辑的思考——从教育的观点看

半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。本文从逻辑教育的角度对其本身提出质疑,认为它并不有益于逻辑的研究和教学。     

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

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

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

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

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

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

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地     

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

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

文化产业兴起与发展的内在规律

文化产业的兴起和发展是产业逻辑、需求逻辑和技术逻辑综合作用的结果。文化产业作为高端服务业是产业自身演进的产物,其动力机制是经济社会发展与需求结构升级的相互作用。“机械复制技术”催生了文化产业,文化产业随着以“机械复制技术”为特征的传播技术的发展而不断升级并向传统产业渗透,文化产业业态不断创新。在经济全球化与国际文化产业的互动发展的背景下,文化产业必将成为21世纪的主导型产业。     

试论法律逻辑的学科性质

目前,学界对法律逻辑的学科性质众说纷纭,莫衷一是。归纳起来,主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。在我国,虽然理论法学分支论最近才有个别学者以模糊的语气谈及,并且一经提出便遭到许多学者的质疑,但经过分析,就会发现,理论法学分支应该是法律逻辑的最佳归宿。