Horn集上RUE-NRF推理规则下的输入半锁反驳

文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传性以及替换性包括在这一推理规则之中,从而在整个定理反驳证明过程中不再出现任何等词公理。文献[3]证明了这一规则的正确性和完备性,并用布尔代数,群论和环论等十七个定理在计算     

使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

广义线性半锁归结

文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并     

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归     

Σ-空间的∑-积

我们证明了半可分层空间的Σ-积若是次正规的,则它是集态次正规的。在文献[1]中,Yajima证明了次仿紧的Σ-空间的Σ-积若是次正规的,则它是集态δ-正规的。鉴于文献[2]中的结果,作者的一篇文章的审稿人提出:若强Σ-空间的Σ-积是次正规的,是否它也是集态次正规的(集态次正规性严格强于集态δ-正规性)?本文中,我们证明上述问题的回答也是肯定的。     

某些非线性算子的固有值

在这篇文章中,作者推广了Cronin在文献[1]中的主要结果,所用的方法比文献[1]中的方法简单。设X是一无限维的线性赋范空间,DX,映照A:D→X满足下面诸条件:(ⅰ)A全连续(即A把D中的有界集变成X中的紧集);     

模型C中的选择公理

在文献[1]中,Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理(AC)。本文将发展一公理系统ZFC~*,在ZFC~*工作中,我们能够证明C满足选择公理。     

交换环上一类特殊模的同调维数

文献[1]中证明:在一个交换环上单模平坦,当且仅当它内射,这个结果在文献[2]中有所推广,本文使用不同的技巧推广文献[2]中的主要定理.本文假定所有的环都是具有单位元的交换元,并且采用文献[3]中的符号.本文的主要结果如下:定理 设R是一个交换环,A是一个交换诺特环,(?):R→A是一个环同态.N是     

复数在有限超越型域上代数无关性的判别法则

一、引言 盖尔芳特超越性判别法(Q上)是建立代数无关性的有力工具。文献[2]将它推广到有限超越型域上。本文将文献[2]中的判别法推广到多变数情形,亦即建立了复数在有限超越型域上代数无关性的判别法则。     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

关于含高级量词的一目谓词演算公式的■_0永真性的可判定性及其应用

在本文中我们证明含高级量词和等词的一目谓词演算公式是否(?)_0永真为可判定的并且利用这一结果证明了Nakamura在文献[3]中提出的带有(?)_0个阈算子的命题演算的判定问题是可解的。 先证若干引理: 引理1 对于含有高级量词和等词的狭谓词演算公式α,恒可能行地作出一只含一级量     

不分明拓扑空间中的紧性

紧性是拓扑学中最重要的概念之一,如何把它推广到不分明拓扑空间,国内外已有不少研究。但是,到目前为止所引入的各种紧性都或多或少地有这样或那样一些缺点,不能令人十分满意,评论见文献[1—3]。文献[2]提出的良紧性比较理想,但它缺乏覆盖或重盖这一类的几何刻划,而且定义中涉及到赋值集[0,1]的拓扑结构,给推广到一般的L不分明拓扑空间带来     

点到集映象族算法的弱收敛性

本文给出了点到集映象族算法具有弱收敛性的条件,这些条件仅与空间的拓扑性质有关,是文献[1—4]中相应结果的改进与推广。特别对于Zangwill的算法(一种闭点到集映象算法),它具备弱收敛性的充要条件。此外,我们还对文献[6]中提出的算法建立了相应的弱收敛性定理。     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

一类半p-交换p-群

我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。     

诱导空间中内部算子的层次刻划

王国俊在新近出版的专著中提出了一个公开问题:在诱导空间中,不分明集的内部(闭包)可否表为在它各层截集的内部(闭包)上取相应常值的不分明集之并。 在文献[2]中关于完全分配律与上半连续映射之间有一个有趣的结果(文献[2]引理3):利用代数上完全分配律取代分析中上半连续性的要求,给出了一个映射的关系式。应用此式     

关于两参数Markov过程的强芽Markov性

本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),