导读:本文包含了强完备性论文开题报告文献综述及选题提纲参考文献，主要关键词:模糊逻辑,NML系统,NML-链,部分嵌入
强完备性论文文献综述
吴洪博,张琼[1]（2010）在《NML系统的有限强完备性》一文中研究指出对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.(本文来源于《电子学报》期刊2010年06期）
韩诚,周红军[2]（2005）在《关于形式系统L~*(强)完备性证明的注记》一文中研究指出考察了形式系统L 完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L 系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划.(本文来源于《陕西师范大学学报(自然科学版)》期刊2005年02期）
裴道武[3]（2005）在《关于形式系统L~*的强完备性》一文中研究指出进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。(本文来源于《工程数学学报》期刊2005年01期）
强完备性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
考察了形式系统L 完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L 系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
强完备性论文参考文献
[1].吴洪博,张琼.NML系统的有限强完备性[J].电子学报.2010
[2].韩诚,周红军.关于形式系统L~*(强)完备性证明的注记[J].陕西师范大学学报(自然科学版).2005
[3].裴道武.关于形式系统L~*的强完备性[J].工程数学学报.2005