论文研究 值逻辑系统子代数个数之讨论.pdf

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[～]同余的一个分划。

提出了一种基于光线跟踪的软阴影算法。该算法生成的阴影更具真实感，并可克服阴影映射算法产生的锯齿现象的问题。实验结果表明，该算法对较复杂物体仍能够保证良好的绘制视觉效果，满足虚拟现实应用的要求。

利用赋值集的随机化方法，在三值乘积逻辑∏3提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的D∏3-相似度与伪距离的概念，并建立了D∏3-逻辑度量空间，证明了

运用区间值模糊集的思想对IV-[(∈,∈∨q)]-模糊格蕴涵子代数概念作进一步研究。给出了IV-[(∈,∈∨q)]-模糊格蕴涵子代数的若干新的性质与刻画；获得了IV-[(∈,∈∨q)]-模糊格蕴涵子代

数学基础课程！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！

将Gainse-Rescher逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数中的广义重言式理论，并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S

在基于格值逻辑的不确定性推理的研究中，推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统，提出了几类既包含有语义又含有语法的推理规则，且这些推理规则具备协调水平的特性；同时也证明了这几类推理

对MV单位区间[[0,1]]和n-值MV代数[Ln]的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是：如果MV单位区间[[0,1]]的子代数[M]同构于n-值MV代数[Ln]的

利用赋值集的随机化方法，在n值标准逻辑中提出了公式的随机真度，证明了所有公式的随机真度之集在[0,1]中没有孤立点；给出了两公式间的DGRn-相似度与伪距离的概念，并建立了DGRn-逻辑度量空间，证明

讨论了部分可换半群的子代数与同余关系之间的关系，进一步研究部分可换半群的商代数的结构。证明了部分可换半群上的Riesz子代数可诱导出满足消去律的同余关系，且通过此同余关系得到的商代数是满足正律的。