级数求和RMI解题机

本文从RMI原则出发对各种级数求和的方法进行分析,将许多幂级数归结为是由几种基本幂级数演变而来的,总结出若干适用面较广的映射算子,介绍了在此基础上实现的能对相当大一部分幂级数及数项级数求和的RiMI解题机.     

MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .     

经典公理集合论系统与中介公理集合论系统之间的包含关系

本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ^－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ^－为中介公理集合论系统ＭＳ的子系统．     

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

This paper is a continuation of [1]、[2]、[4]. In this paper, we shall con-tinue to constitute the formal theorems and the important substituting theorem(see theorem 16 in this paper) of the propositional calculus system of mediumlogic MP. The order numbers of following formal theorems follow those in reference[4]     

Russell悖论的变形与ZFC的正则公理——对无根基悖论和多值逻辑悖论的评析与介绍

§0 引言 沈有鼎先生在[1]中构造了几个著名的悖论,即所谓‘无根基和有根基悖论’、‘循环与非循环悖论’和‘n循环与非n循环悖论’。我们首先用通俗的自然语言把这几个悖论陈述出来,再介绍ZFC系统中正则公理AxR的几种等价形式,然后利用AxR的这些等价命题对上述三个悖论进行分析,即可看出它们都是变了形的Russell悖论,并且很自然地得到结论;Russell悖论和上述三个悖论中所构造的集合,皆不在ZFC系统中,因而这些悖论将不在ZFC系统中出现。     

On the Naive Mathematical Models of Medium Mathematical System MM

Introduction The aim of this paper is to explain the practical background and the ideological principles of succeed papers related to medium logic calculus ML and med-ium axiomatic set theory MS on the basis of reference[1]. The succeed papers,which include 15 papers, cover propositional calculus systems of medium logicMP_((Ⅰ)-(Ⅲ))and their extention MP_((Ⅰ)-(Ⅱ)), predicate calculus systems of medium     

中介逻辑命题演算系统的语言表达能力——完全性与闵氏距离不增性

中介逻辑演算ML是为建立中介公理集合论MS而构造的逻辑体系。ML的命题演算和谓词演算均被划分为自身及其扩张。但ML＆MS中有些定理和公理却又把命题与谓词限制在MP及MF的范围中,目的在于保证系统的相容性。现对MP与MP~*的命题联结词作了有关的研究。     

答《中介数学没有包括经典数学》一文及其它

(一)关于经典逻辑演算之推演规划是中介逻辑演算之导出规则的证明。 朱水林同志在文中简括而确切地指出:“我们可以把上面关于中介数学和经典数学之关系的引文简括成一个结论和两个论据:     

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

In this paper, we construct the propositional calculus system of mediumlogic MP under the view of medium principe. We first make out thevocabulary of MP and the rules of its formation and inference, and then, after a primary development, we reduce it to ten formal theorems (the formal relations of inference). More precisely, the theorems can be divided into 38 relations of inference, in which only 5 have alrealy been contained in the classiccal natural inference system P, this is to say, all the others are peculiar to tthe non-classical logic system MP.