导读:本文包含了偏蕴涵代数论文开题报告文献综述及选题提纲参考文献，主要关键词:多值逻辑系统,重言式,广义语义MP规则,广义语义HS规则
偏蕴涵代数论文文献综述
关晓红[1]（2007）在《多值逻辑系统H_α与偏蕴涵代数》一文中研究指出1997年，王国俊教授基于蕴涵算子R_0提出了修正的Kleene系统W，W，W_k，又于1998年引入了广义重言式的概念，对修正的Kleene系统的广义重言式类进行了深刻而细致的讨论，建立了广义重言式理论，为模糊逻辑提出了新的研究方向．此后，吴洪博教授在修正的Kleene系统中把广义重言式的概念进行了扩充和推广，并在此系统中引入广义语义MP规则与广义HS规则，取得了一些有意义的研究成果，使得我们对修正的Kleene系统有了更清楚的认识．在多值逻辑系统的叁种逻辑运算非(→)，并(∨)，蕴涵(→)中，蕴涵算子的选取至关重要，不同的蕴涵算子从语义上构成不同的多值逻辑系统，其中左连续t-模的伴随是具有较好性质的蕴涵算子．众所周知，与R_0型蕴涵算子相对应的R_0型t-模是左连续的，兰蓉基于R_0型t-模给出了一类带参数的[0，1]上的t-模*_α。及与之伴随的新的蕴涵算子H_α(0≤α≤1)，进而建立了多值逻辑系统H_α．多值逻辑系统H_α(0＜α＜1)推广了修正的Kleene系统，并且这些系统之间是彼此同构的．因此我们主要研究当α=1/2时的多值逻辑系统H_(1/2)，以H_(1/2)为赋值域利用广义重言式概念得到公式集F(S)的一个分划，接着讨论了系统H_(1/2)中的各类广义语义MP规则与广义语义HS规则，并把系统H_(1/2)中的相关结论推广到H_α(0＜α＜1)中，之后讨论了基于系统H_α的蕴涵算子的三I算法以及还原性问题．1994年美国数学家Foulis和Bennett引进了效应代数的概念，推广了正交模格，被看作量子逻辑的数学模型．这种抽象的效应代数虽然历史不长，然而它却引起了数学工作者和理论物理学工作者的极大兴趣．本文第叁章讨论了效应代数与多种模糊逻辑代数系统的关系，使我们对效应代数有了进一步的了解，并且通过对效应代数的研究，从蕴涵的角度出发引入了偏蕴涵代数，证明了偏蕴涵代数与效应代数是两种不同形式的等价的代数结构，并讨论了它与MV代数之间的关系．(本文来源于《陕西师范大学》期刊2007-04-01）
关晓红,王国俊,韩邦合[2]（2006）在《偏蕴涵代数》一文中研究指出通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.(本文来源于《南阳师范学院学报》期刊2006年12期）
偏蕴涵代数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
偏蕴涵代数论文参考文献
[1].关晓红.多值逻辑系统H_α与偏蕴涵代数[D].陕西师范大学.2007
[2].关晓红,王国俊,韩邦合.偏蕴涵代数[J].南阳师范学院学报.2006