导读:本文包含了格刻画论文开题报告文献综述及选题提纲参考文献，主要关键词:形式逻辑系统,WBR_0-代数,并半格,交半格
格刻画论文文献综述
凌雪岷,徐罗山,杨凌云[1]（2017）在《WBR_0-代数的并半格刻画定理》一文中研究指出通过研究WBR_0-代数公理组的内在联系,考虑到WBR_0-代数是具有逆序对合对应运算的格,因此给出了WBR_0-代数的两个并半格刻画定理,同时对偶地给出了WBR_0-代数的两个简化的交半格刻画定理。(本文来源于《模糊系统与数学》期刊2017年05期）
余珊[2]（2012）在《萍乡傩面具色彩的“神格”刻画》一文中研究指出萍乡巫傩面具的色彩运用,不同于绘画,它摈弃了色彩的写实性,单纯从色彩的纯美和功利意识出发,讲究色彩的情感表达,注重色彩性格语言的塑造,即"神格"的刻画。(本文来源于《知识窗(教师版)》期刊2012年04期）
范欣[3]（2011）在《几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较》一文中研究指出用代数的方法研究逻辑问题近年来是逻辑领域中备受关注的热点问题之一,在不同的逻辑背景中,学者们先后引入了许多不同的逻辑代数系统.对于非经典逻辑而言,不同逻辑已建立起与之匹配的诸如MV代数,R0代数：FI-代数,BL-代数,BRo代数等一些重要的逻辑代数系统([5][23][24]).MV代数是着名数学家C.C.Chang引入的一种代数体系,目的是为解决Lukasiwicz多值逻辑系统的完备性.近几十年来,关于MV代数的研究长盛不衰.文献[5][14]还给出了MV代数更加系统的论述,对于这种代数的研究理论上已经取得了丰硕的成果,其中包含了对各种代数以及它们之间关系的重要讨论与分析比较.王国俊教授在文献[15]中,给出了叁种彼此等价的不同形式的MV代数,并且证明了格蕴涵代数和一类FI-代数等价于MV代数的结论.王国俊教授在1997年针对模糊命题演算建立了一种形式演绎系统L*，并且在此基础上给出了与之相匹配的R0代数[3].之后,许多学者在这方面作了很多相关的研究,给出了一系列的研究成果([16]-[22]).文献[4]中对R0代数与剩余格进行了比较分析,用剩余格的方法给出了R0代数的等价定义,指出了R0代数的剩余格本质.随后,吴洪博教授又对Ro代数和L*系统进行了推广，在文献[13]中提出了BRo代数,即在R0代数的基础上减少条件得到的一种新的代数系统,从而具有了相应的重要性质,并且给予了证明.文献[6]中讨论了BRo代数的一种无序表示形式,定义了BRo代数,在讨论的过程中,首次提出了WBR0代数理论并讨论了相应的性质.文献[4]和[15]中表明,以上各种代数都可以和剩余格之间建立一定的联系：因而剩余格是与非经典逻辑：尤其是模糊逻辑密切相关的代数结构,是研究模糊逻辑的重要工具,可以说剩余格已经成为模糊逻辑中相当理想的代数框架.文献[7]中进一步对剩余格进行了研究,引入了正则剩余格的概念,给出了剩余格与正则剩余格的特征定理,最后讨论了剩余格与正则剩余格公理系统的独立性,以及与相近代数结构的关系.本文基于上述的理论和方法,对MV代数进行了进一步的研究,得到了MV代数的两个特征定理.此外.在正交模格上建立了一类弱于MV代数的PMV代数.得到了正交模格和这类代数系统之间的关系.另外,木为还将WBR0代数与剩余格进行了进一步的比较分析,得到了WBR0代数与正则剩余格等价的结论,进而用这种等价关系给出了WBR0代数的两种等价形式，从而从不同的角度重新定义了WBR0代数,也因此进一步说明了剩余格理论由于它的基础性和应用的广泛性而在逻辑代数中处于十分重要的地位.另外,我国在模糊逻辑系统的研究方面,近年来取得了很大的进展.王国俊教授己先后提出了模糊值、二值、n值命题逻辑公式真度的理论.特别是文献[2],它针对连续值命题逻辑引入了公式的真度的概念,建立了积分语义学理论,为连续值命题逻辑系统中的近似推理提供了一种可供利用的构架.文献[11]在此基础上给出了公式A在信息r下的条件真度的概念,把真度的概念加以扩充.如文献[12]给出的条件真度的概念,一个很大的理论支撑就是叁值Lukasiewicz逻辑系统中广义演绎定理的成立,而在模糊命题系统Godel和L*中也有相应的定理成立,所以，也可类似地建立系统Godel和L*中条件真度的概念,并在其上讨论相应的性质.系统Godel和L*对应的蕴含算子→及其伴随叁角模(?)的大小顺序如下：→God≤→L*,(?)L*≤(?)God,这是因为,也就是说，蕴含算子→和叁角模(?)在这两种逻辑系统中的大小顺序是正好相反的.那么，在这两个逻辑系统中，在相同的信息r下,包含蕴涵算子→的公式,包含叁角模算子(?)的公式以及同时包含了伴随对((?),→)的公式的条件真度的大小顺序又会怎样呢?基于上述这些问题,本文首先建立了系统Godel和L*中公式基于信息r下的条件真度的概念,然后以只包含蕴涵算子→的公式p→q,只包含叁角模算子(?)的公式p(?)q,以及包含了一对伴随对及叁个原子公式的公式(P(?)q)→r,p(?)(q→r),(p→q)(?)和p→(q(?)r)为例,在系统Godel和L*中计算：了基于同一信息r={p｝下的条件真度,然后进行了比较分析.本文共分四章,每章主要内容如下：第一章介绍阅读本文时所必须的有关知识.其中第一节简单介绍了儿种逻辑代数系统和剩余格的基本概念.第二节介绍了模糊命题系统Godel和L*中的有关真度和演绎定理的相关知识.第叁节简要说明了本文所作的主要工作.第二章在几种重要的逻辑代数：MV代数,R0代数,BR0代数,WBR0代数与剩余格之间建立了等价关系,尤其是wBR0代数,通过对WBR0代数与剩余格的比较分析,得到了WBR0代数等价于止则剩余格的结论在此基础上，用这种等价关系给出了WBR0代数的两种等价形式,一定程度上简化了WBR0代数的定义.第叁章对MV代数进行了进一步的研究,通过前文得到的MV代数与一类正则剩余格之间的等价关系,得到了MV代数的两个特征定理.此外,在正交模格上建立了一类弱于MV代数的PMV代数,得到了正交模格与这类代数之问的关系.第四章在两种模糊命题系统Godel和L*中作了一些关于条件真度的简单讨论.由于两种系统中蕴涵算子→及其伴随叁角模(?)有相反的大小顺序,于是,本文试图得到同时包含了蕴涵算子→和叁角模算子(?)的公式条件真度在这两种命题系统中的大小顺序.当然,这部分只是为得到理想的结果作了一些前期的准备工作,对六个具体公式进行了条件真度的计算.至于最后结论的成立还需要作很多后续工作.(本文来源于《陕西师范大学》期刊2011-05-01）
刘永红[4]（2003）在《粗糙集的格刻画》一文中研究指出刻画了粗糙集的格结构,提出了半序关系粗糙集的概念,并引进了极大理想集的概念,讨论了知识边界区域划分问题,提出了易变性定理和半序粗糙反链原理,提出了半序粗糙集的选择定理、表示定理和嵌紧定理等。(本文来源于《模式识别与人工智能》期刊2003年02期）
格刻画论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
萍乡巫傩面具的色彩运用,不同于绘画,它摈弃了色彩的写实性,单纯从色彩的纯美和功利意识出发,讲究色彩的情感表达,注重色彩性格语言的塑造,即"神格"的刻画。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
格刻画论文参考文献
[1].凌雪岷,徐罗山,杨凌云.WBR_0-代数的并半格刻画定理[J].模糊系统与数学.2017
[2].余珊.萍乡傩面具色彩的“神格”刻画[J].知识窗(教师版).2012
[3].范欣.几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D].陕西师范大学.2011
[4].刘永红.粗糙集的格刻画[J].模式识别与人工智能.2003