导读:本文包含了次直不可约论文开题报告文献综述及选题提纲参考文献，主要关键词:Ockham代数,Heyting代数,半伪补格,滤子
次直不可约论文文献综述
沈吓妹[1]（2009）在《相关Ockham代数类的次直不可约性和滤子》一文中研究指出在本硕士论文中,我们首先研究了具有Heyting结构的Ockham代数(L;∧,∨,→,f,0,1).其中(L;∧,∨,f,0,1)是Ockham代数,(L;∧,∨,→,0,1)是Heyting代数,而且运算f和→满足f(x→y)=f~2(x)∧f(y)和f(x)→y=f~2(x)∨y.我们简称这种代数为HO-代数.我们发现HO-代数L的同余格ConL同构于余核滤子格CKF(L).我们还得出,如果L是*-半单纯次直不可约的HO-代数,那么它只有两个互不同构的次直不可约代数,并且对它们进行了详细的刻画。我们还研究了bdpO-代数即平衡半伪补Ockham代数的滤子。bdpO-代数是一个<2,2,1,1,0,0>类型的代数(L;∧,∨,f,*,0,1).其中(L;f)是Ockham代数,(L;*)是半伪补代数,且一元运算f和*由恒等式[f(x)]~*=f~2(x)与f(x~*)=x~(**)连结.我们首先刻画了滤子的性质及其同余特征,然后考虑了它们的同余一致与同余凝聚性质.(本文来源于《汕头大学》期刊2009-03-01）
孙中举[2]（2007）在《相关Ockham代数类的次直不可约性和公理》一文中研究指出在这篇硕士论文中，我们首先研究了拟互补Ockham代数的一类子代数(L；∧，∨，f，*，0，1)，其中(L；∧，∨，f，0，1)是Ockham代数，(L；∧，∨，*，0，1)是拟互补代数，而且运算f和*满足f(x~*)=x~(**)和[f(x)]~*=f~2(x)．我们称这种代数为bpO代数．我们发现如果L是一个次直不可约的bpO代数，那么它的同余格Con L必须是这样的一条链：ω(?)Φ_1∧G(?)Φ_2∧G(?)ι．我们还得出在这种代数类中，有11个互不同构的次直不可约的代数，并且对它们进行了详细的刻画。我们还研究了eO代数即扩展的Ockham代数中的公理。我们首先推广了Urquhart的定理，然后着重考虑了eO代数的一种子代数，即e_2M-代数，这里的偶同态f及同态k满足条件f~2=id and k~2=id。我们指出e_2M-代数中有19个互不等价的公理，并给出了他们在蕴涵关系下的序结构。(本文来源于《汕头大学》期刊2007-05-01）
黎爱平[3]（2002）在《双重MS-代数的素理想与次直不可约类》一文中研究指出用双重MS -代数的素理想集刻划了它的每一个同余关系 ,由此得到了次直不可约双重MS -代数类的特征(本文来源于《南昌大学学报(理科版)》期刊2002年01期）
黎爱平,章幸辛[4]（2001）在《次直不可约的双重MS-代数》一文中研究指出用Hasse图刻划了所有次直不可约的双重MS -代数 ,用双重MS -代数的素理想集刻划了双重MS -代数的每一个同余关系。(本文来源于《上饶师范学院学报》期刊2001年06期）
次直不可约论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在这篇硕士论文中，我们首先研究了拟互补Ockham代数的一类子代数(L；∧，∨，f，*，0，1)，其中(L；∧，∨，f，0，1)是Ockham代数，(L；∧，∨，*，0，1)是拟互补代数，而且运算f和*满足f(x~*)=x~(**)和[f(x)]~*=f~2(x)．我们称这种代数为bpO代数．我们发现如果L是一个次直不可约的bpO代数，那么它的同余格Con L必须是这样的一条链：ω(?)Φ_1∧G(?)Φ_2∧G(?)ι．我们还得出在这种代数类中，有11个互不同构的次直不可约的代数，并且对它们进行了详细的刻画。我们还研究了eO代数即扩展的Ockham代数中的公理。我们首先推广了Urquhart的定理，然后着重考虑了eO代数的一种子代数，即e_2M-代数，这里的偶同态f及同态k满足条件f~2=id and k~2=id。我们指出e_2M-代数中有19个互不等价的公理，并给出了他们在蕴涵关系下的序结构。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
次直不可约论文参考文献
[1].沈吓妹.相关Ockham代数类的次直不可约性和滤子[D].汕头大学.2009
[2].孙中举.相关Ockham代数类的次直不可约性和公理[D].汕头大学.2007
[3].黎爱平.双重MS-代数的素理想与次直不可约类[J].南昌大学学报(理科版).2002
[4].黎爱平,章幸辛.次直不可约的双重MS-代数[J].上饶师范学院学报.2001