简介：令T是以{Wk}∞k=1(Ω)(B)((An)")为权序列的内射算子权移位.设T是强不可约的,而且sup1≤k≤∞‖Wk-1‖＜+∞.用(A)′(T)表示T的换位代数,rad(A)′(T)表示(A)′(T)的Jacobson根.本文刻划了rad(A)′(T)并且证明了商代数(A)(T)/rad(A)′(T)是交换的.

简介：以广义逆为工具运用算子演算给出加权移位算子是次正常算子的条件，所用方法不同于Ｓｔａｍｐｆｌｉ的工作，但结果一致．作为应用给出了两个例子．

简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。