中介命题逻辑MP的完备性

根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。     

中介逻辑的同异性演算系统——带等词的中介谓词逻辑

本文构造带等词的中介谓词逻辑ME~*,它比MF~*多一个形式符号=,常谓词=的名称是等词,读为“等同于”.ME~*比MF~*多一条形成规则,即当a、b为项时,a=b是合式公式,关于项的定义参见[2]§17,在ME~*中实为个体     

带等词的中介谓词逻辑系统ME的语义解释及可靠性、完备性

本文将给出带等词的中介谓词逻辑系统ME~*的语义解释及其可靠性、完备性定理,鉴于ME~*的特点,在对ME~*建立语义解释时,若取经典集合论中的集合作为论域,则无法将形如～(a=b)的合式公式特征化。因此,我们将取中介集合论中的集合(严格地说,取清晰小集)作为论域。由此可知,在研究中介逻辑时所使用的元语言仅限于经典的二值逻辑及经典的     

中介逻辑谓词演算的扩张

文献[6]构造了MF,现构造另一个中介谓词逻辑MF~*,它比MF多一个形式符号<,并在MF~*中引入MP~*的种种定义符号。读者可自行给出MF~*的形成规则及其归纳定义。     

中介公理集合论系统(Ⅲ)——谓词与集合

本文给出“概集”和“下概集”等重要概念的形式定义,并建立和讨论MS 的泛概括公理、替.“714换公理、后继集公理     

中介逻辑的命题演算系统的可判定性

文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的,本文给出了一个完备性定理的构造性     

“中介逻辑”的特征问题

近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的、处理模糊现象的不确定数     

中介逻辑的命题演算系统(Ⅰ)

本文根据中介原则构造中介逻辑的命题演算系统MP.MP的基本符号,除命题词p,q,r,p_i,q_i,r_i(i=1,2,…)和技术符号(,),[,]外,还有联结词→,(?),～,如[1]所述,这样,中介原则的含义即指任给谓词P,将有x使P(x)和(?)P(x)都部分地真,或说未必总有     

中介逻辑的命题演算系统(Ⅱ)

本文为[3]的续篇,在此继续生成MP的形式定理,其中包括MP的重要的替换定理(见定理16)。     

中介逻辑ML的一种模型构造

中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释。     

中介逻辑命题演算的扩张(Ⅱ)

本文为[8]的续篇,首先把清晰化算符(?)分别作为MP~*的定义符号引入如下:     

中介逻辑的谓词演算系统(Ⅰ)

本文根据中介原则构造中介逻辑的谓词演算系统MF,其符号系统有逻辑词(?),→,～,(?),(?),个体词a,b,c,a_i,b_i,c_i(i=1,2,…),谓词F,G,H,F_i,G_i,H_i(i=1,2,…),     

中介逻辑的谓词演算系统(Ⅱ)

本文为[6]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。     

中介逻辑的命题演算系统(Ⅲ)

本文为[4]的续篇,现把合取词∧、析取词∨和等值词国←→分别作为MP的定义符号引入,并继续展开MP。     

中介逻辑命题演算的扩张(Ⅰ)

如所知,MP有三个命题联接词→、(?)、～。现构造另一个中介命题逻辑MP~*,它只比MP多一个形式符号<,称为“真值程度词”,读为“真值程度不强于”或“真值程度弱于”,于是MP~比MP多一条形成规则,即当A、B为合式公式时,A相似文献   

中介公理集合论系统(Ⅰ)——两种谓词的划分与定义

本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.     

中介逻辑演算ML与中介公理集合论MS的纯数学意义及其应用前景

我们在[2]的§5中曾已极为简要地陈述了构造MM(ML&MS)系统之目的和意义。本文将在此基础上,较为详细地论述ML与MS在数学基础理论上的意义。并在最后分析讨论MM(ML&MS)的应用前景。§1 数学研究对象的再扩充在历史上,对于什么是数学这样一个问题的回答,数学基础诸流派曾各持己见而众说纷云。限于篇幅,在此不能作详细评论。后来,大多数数学家认为,恩格斯所说:“数学是研究数量和空间形式的一门学问”,乃是较为合理而正确地指明了数学     

“中介逻辑”与Woodruff三值逻辑系统

在《“中介逻辑”的特征问题》一文里,我们对近来朱梧梗、肖奚安等同志发表的称为“中介逻辑”的命题系统MP的三个联接词(对立否定),～(模糊否定)与→(蕴含)建立了如下的三值真值表:     

MP4的冲击

MP4对影片的影响与MP5对音乐的影响相同吗?