次直不可约相关论文
在这篇硕士论文中,我们首先研究了拟互补Ockham代数的一类子代数(L;∧,∨,f,*,0,1),其中(L;∧,∨,f,0,1)是Ockham代数,(L;∧,∨,*,0,1)是拟互补代数,而且运算f......
个拟伪补Ockham代数,是指一个)类型的代数.其中是Ockham代数,是拟伪补格,而且运和;由恒等式所连结.特别地,若(L;A,V,0,1)是MS-代数......
本硕士论文中,我们主要关注两类双重半伪补Ockham代数,分别称之为平衡双重半伪补Ockham代数和双重半伪补de Morgan代数。一个平衡双......
令L=[Y;Lα,ρα,β,φα,β]为不含零元不含单位元的左正则带,其中Y为含零元0的有限链.本文证明了L次直不可约当且仅当 1.((V)α∈Y......
研究一类双重Ockham代数(L;∧,∨,f,k),即赋予一对可交换一元运算f和k的有界分配格,其中f和k是偶格同态.刻画了其次直不可约代数,......
素理想是研究序代数同余关系的一个重要工具。在半伪补de Morgan代数上引入两类素理想,以半伪补de Morgan代数本身的运算属性为基......
本文研究了扩展的有界分配格(即带有一个自同态运算的有界分配格)的次直不可约问题.利用不动点集和同余的方法,刻画了e(p,q)D代数类中......
依双重拟伪补HS-代数是一个具有〈2,2,1,1。0,0〉类型的代数(L;∧,∨,°,*。+,0,1).其中(L;°)是一个HS-代数,(L;^*:,+)是一个双重拟伪利、代数,且一元......
引入一个具有Heyting结构Ockham代数,简称HO-代数.所谓HO-代数,是指具有(2,2,2,1,0,0)类型的代数(L;∧,∨,→,f,0,1).其中(L;f)是Ockham代数,(L;→)是Heyting......
研究由有限多个有限域F1,…,Fk所生成的环簇V的有限基底问题.利用构造恒等式及寻找次直不可约环的方法,证明了V是有限基底的,并且F......
The purpose of this note is to give a representation of subdirectly irreducible Ockham algebras via a sepecial algebra G......
素理想是研究Ockham代数类结构的一个重要工具。伪补MS-代数是同时具有伪补代数和MS-代数特征的一类代数。首先在伪补MS-代数上引......
考虑双重K1,1代数的一个特殊子代数类,称之为K-代数.刻画了K-代数的主同余关系表达式,证明了它的所有紧致的同余关系构成一个对偶Ston......
用Hasse图刻划了所有次直不可约的双重MS-代数,用双重MS-代数的素理想集刻划了双重MS-代数的每一个同余关系.......
MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统.本文通过在MP^M系统上建立—个代......