赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2

研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，即ＱＴ（Ｋ２４）＝ Ｔ（Ｃ２）。     

参数Kleene系统中的广义重言式

引入新的一组带对数ｐ（ｐ∈「０,１」的ｔ－范∧ｐ,ｔ－余范∨ｐ和蕴涵θｐ,讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３,三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系,指出系统Ｋｐ对广义重言式而言是可判定的。     

关于Q（√4k^2n＋1）的理想类群的循环子群

设ｄ,ａ,ｋ,ｎ是适合４ｋ＾２ｎ＋１＝ｄａ＾２,ｋ〉１,ｎ〉２,ｄ无平方因子的正整数;又设Ｃ（Ｋ）和ｈ（Ｋ）分别是实二次域Ｋ＝Ｑ（√ｄ）的理想类群和类数。本文证明了：当ａ〈０．５ｋ＾０．５６ｎ时,则ｈ（Ｋ）≡０（ｍｏｄ ｎ）和Ｃ（Ｋ）必有ｎ阶循环子群。     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

分数次算子在加权Herz型空间上的有界性

本文证明了具有某种尺寸条件的Ｌ＾ｑ１到Ｌ＾ｑ２有界的分数次次线性算子是Ｋｑ１＾ａ，ｐ（ω１，ω２＾ｑ１）（或Ｋｑ１＾ｑ，ｐ）（ω１，ω２＾ｑ１）到Ｋｑ２＾ａ，ｐ（ω１，ω２＾ｑ２）（或Ｋｑ２＾ａ，ｐ（ω１，ω２＾ｑ２）有界的以及ＨＫｑ１＾ａｐ（ω１，ω２＾ｑ１）（或ＨＫｑ１＾ａｐ（ω１，ω２＾ｑ１）到Ｋｑ２＾ａｐ（ω１，ω２＾ｑ２）（或Ｋｑ２＾ａｐ（ω１，ω２＾ｑ２）有界的。     

系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W，W，Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G，G，Gn中。主要结果是：在逻辑系统/G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Gn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在/G，G，Gn中给出了F（S）的一个关于→同余的分划。     

de Sitter空间中具平行平均曲率向量的完备类空子流形

本文证明了ｄｅＳｉｔｔｅｒ空间中具平行平均曲率向量的完备类空子流形在Ｈ２〉Ｃ时其第二基本形式模长平方是上有界的，从而推广了Ｕ－ＨａｎｇＫＩ＾（４）及Ｑ．Ｍ．Ｃｈｅｎｇ＾（３）中的结果。     

Lukasiewicz多值逻辑系统中的广义重言式理论

引入一类特殊的公式序列Ａｋ,ｋ＝１,２,…,证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统,对任意真值ａ∈Ｌｎ而言,可达ａ－重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统中重言式之间的关系。     

关于区间上的单峰扩张自映射

设ｆ是区间Ｉ＝［０，１］上的扩张的单峰函数，λ是ｆ的扩张常数。又设Ｋ≥３是奇数，ｎ≥３是整数，λｋ是方程ｘ＾ｋ－２ｘ＾ｋ－２－１＝０的最大实根，μｎ是方程ｘ＾ｎ－２ｘ＾ｎ－１＋１＝０的最大实根，本文用较简单的方法证明了，当λ≥λＫ时，ｆ中含有Ｋ－周期轨道，当λ≥μｎ时，ｆ中含有相对于自身的ＲＬ＾ｎ－２Ｃ型单峰周期轨道。此外，本文还讨论了一类方程ｘ＾ｎη（ｘ）＝ζ（ｘ）的根的极限度最性质。