导读:本文包含了广义子代数论文开题报告文献综述及选题提纲参考文献,主要关键词:Gainse-Rescher逻辑系统,广义重言式,子代数,分划
广义子代数论文文献综述
李顺琴,惠小静[1](2015)在《Gainse-Rescher系统基于子代数的广义重言式》一文中研究指出将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。(本文来源于《计算机工程与应用》期刊2015年19期)
周芳艳,陈良云[2](2014)在《n-李代数的广义Frattini子代数及扩张》一文中研究指出将李代数的广义Frattini子代数性质推广到n-李代数广义Frattini子代数,得到了n-李代数广义Frattini理想以及子代数的判定定理.同时,给出了n-李代数的Frattini扩张的一些性质.(本文来源于《琼州学院学报》期刊2014年02期)
戚现龙[3](2012)在《一类广义Witt代数(?)[G]的子代数及其自同构》一文中研究指出作为洛朗多项式的线性微分算子Witt代数是一种重要的无限维李代数。这方面已有许多重要的结果。本文主要研究一类广义Witt代数:且有李括积主要内容包括以下叁部分。第一章,介Witt代数的结构以及一些重要的结果。第二章,研究广义Witt代数的子代数并介绍两种重要的单子代数。第叁章,利用数论中pell方程的理论构造出广义Witt代数的所有自同构并且此类广义witt代数的自同构只有以下叁中:(本文来源于《青岛大学》期刊2012-05-20)
李修清,魏海新[4](2011)在《R_G-代数的子代数与广义重言式理论》一文中研究指出对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。(本文来源于《计算机工程与应用》期刊2011年29期)
李修清[5](2011)在《Gdel逻辑系统中1/2-子代数上的广义重言式理论》一文中研究指出将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的叁类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的叁类子代数中给出F(S)关于同余的一个分划。(本文来源于《计算机工程与应用》期刊2011年05期)
魏海新[6](2010)在《Gdel系统中一类子代数上的广义重言式理论》一文中研究指出将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。(本文来源于《计算机工程与应用》期刊2010年29期)
李修清,魏海新[7](2010)在《Gdel逻辑系统中标准子代数上的广义矛盾式》一文中研究指出文章讨论了Gdel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一个关于同余的分划。(本文来源于《桂林航天工业高等专科学校学报》期刊2010年03期)
李顺琴,王国俊[8](2010)在《系统H_α中的子代数的广义重言式理论》一文中研究指出将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。(本文来源于《计算机工程与应用》期刊2010年08期)
李顺琴,王国俊[9](2007)在《修正的Kleene系统中的子代数的广义矛盾式》一文中研究指出将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代数中讨论了广义矛盾式,进而在相应的子R0代数中给出了公式集F(S)的一种划分;(3)证明了在子R0代数E2中,L*中存在着可数多个不同的广义矛盾式.(本文来源于《纺织高校基础科学学报》期刊2007年02期)
孙中品[10](2007)在《布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现》一文中研究指出本文基于布尔代数的Fuzzy子代数已有的性质,讨论了布尔代数的(∈,∈∨q)-Fuzzy子代数、阈值Fuzzy子代数和Fuzzy子代数的直积的一些性质,进一步丰富和发展了Fuzzy代数系统的基本理论。此外还在Mizar系统中实现了关于布尔代数的Fuzzy子代数和(∈,∈∨q)-Fuzzy子代数的Mizar定义和相关重要定理的证明,在一定程度上充实了Mizar数据库的内容。本文主要取得以下结果:1.利用Fuzzy点与Fuzzy子集的“属于”和“重于”关系,提出了布尔代数的(∈,∈∨q)-Fuzzy子代数、(∈,∈∨q)-Fuzzy理想和(∈,∈∨q)-Fuzzy商布尔代数的概念,给出了布尔代数的Fuzzy子集是(∈,∈∨q)-Fuzzy子代数的充要条件,讨论了布尔代数的(∈,∈∨q)-Fuzzy子代数在布尔代数同态下的像和逆像,并证明了当I是布尔代数R的(∈,∈∨q)-Fuzzy真理想时,R/I是布尔代数。2.基于对已有Fuzzy子代数和(∈,∈∨q)-Fuzzy子代数的讨论,提出了布尔代数的阈值Fuzzy子代数的概念,并讨论了其相关性质和两种Fuzzy子代数之间的关系。3.讨论了布尔代数的Fuzzy子代数的直积的一些性质,给出了直积布尔代数的Fuzzy子代数可分解为两个Fuzzy子代数的直积的充要条件,并讨论了Fuzzy商布尔代数的直积特征。4.运用Mizar语言给出了布尔代数的Fuzzy子代数和(∈,∈∨q)-Fuzzy子代数的Mizar定义,而且编写了一些相关重要结论和定理的程序,并使用Mizar系统进行验证并通过。从而在Mizar系统中实现了关于布尔代数的Fuzzy子代数的一些重要性质的证明。(本文来源于《青岛科技大学》期刊2007-04-16)
广义子代数论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
将李代数的广义Frattini子代数性质推广到n-李代数广义Frattini子代数,得到了n-李代数广义Frattini理想以及子代数的判定定理.同时,给出了n-李代数的Frattini扩张的一些性质.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
广义子代数论文参考文献
[1].李顺琴,惠小静.Gainse-Rescher系统基于子代数的广义重言式[J].计算机工程与应用.2015
[2].周芳艳,陈良云.n-李代数的广义Frattini子代数及扩张[J].琼州学院学报.2014
[3].戚现龙.一类广义Witt代数(?)[G]的子代数及其自同构[D].青岛大学.2012
[4].李修清,魏海新.R_G-代数的子代数与广义重言式理论[J].计算机工程与应用.2011
[5].李修清.Gdel逻辑系统中1/2-子代数上的广义重言式理论[J].计算机工程与应用.2011
[6].魏海新.Gdel系统中一类子代数上的广义重言式理论[J].计算机工程与应用.2010
[7].李修清,魏海新.Gdel逻辑系统中标准子代数上的广义矛盾式[J].桂林航天工业高等专科学校学报.2010
[8].李顺琴,王国俊.系统H_α中的子代数的广义重言式理论[J].计算机工程与应用.2010
[9].李顺琴,王国俊.修正的Kleene系统中的子代数的广义矛盾式[J].纺织高校基础科学学报.2007
[10].孙中品.布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现[D].青岛科技大学.2007
标签:Gainse-Rescher逻辑系统; 广义重言式; 子代数; 分划;