MTL 代数上的几种演绎系统及其商代数
首先,本文讨论了弱 MTL-代数的性质,并给出弱 MTL-代数的等价刻画;其次,将蕴涵演绎系统.的概念引入到弱 MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个.等价条件;最后,讨论了弱 MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在 弱.MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 MTL-代数。
用户评论
推荐下载
-
线性代数上机教学线性代数上机实验
线性代数上机教学线性代数上机实验详细过程
23 2019-12-31 -
高等代数上册.zip
高等代数 基础数学
7 2021-01-29 -
论文研究伪MTL代数的性质及其滤子.pdf
介绍了伪MTL代数的一些重要性质,引入了伪MTL代数的滤子、素滤子以及极大滤子的概念,研究了它们的性质以及它们之间的关系。
12 2020-07-16 -
三角代数上的中心化子
设T是三角代数,Ω是T中任意但固定的一点。证明线性映射Φ∶T→T对满足ST=Ω的S,T∈T有Φ(ST)=Φ(S)T=SΦ(T),当且仅当对任意的S,T∈T有Φ(ST)=Φ(S)T=SΦ(T),即Φ是中
17 2020-07-28 -
Graf Clifford代数上的新的Spinor类
Pinor域和Spinor域是子束的部分,其纤维是具有Clf乘积的形式的Clifford代数的表示空间。 在这种情况下,这里考虑了棘和棘,并且几何广义的Fierz身份提供了必要的框架,以在外部束的光滑
10 2020-07-23 -
论文研究泛逻辑学中UB代数系统的滤子与商代数.pdf
给出了理想状态下泛逻辑学的形式演绎系统,证明了此系统是可靠的。提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数,进一步讨论了UB代数滤子与商代数,得到一些有用的结果。
14 2020-07-16 -
套代数上广义Jordan导子的刻画
令N为Banach空间X上的套,AlgN为相应的套代数。设δ:AlgN→AlgN是可加映射。证明了如果存在可加映射τ:AlgN→AlgN,使得映射δ满足条件δ(A2)=δ(A)A+Aτ(A)对任意A∈
15 2020-08-15 -
超K代数上的模糊正则商结构
给出超K-代数上的模糊正则同余关系的定义,构建了商超K-代数,运用模糊同余关系,研究了一些相关的性质,证明商结构是BCK-代数。
4 2021-02-01 -
代数系统课件代数结构
代数系统的课件,代数系统和离散数学差不多,这个资源主要是幻灯片
24 2019-05-22 -
论文研究CDC代数上中心化子的刻画.pdf
设[AlgL]是Hilbert空间[H]上的一个CDC-代数,[φ:AlgL→AlgL]是一可加映射。证明了如果存在正整数[m,n1],满足对于任意的[a∈AlgL,]有[φ(amn1)=amφ(a
21 2020-04-18
暂无评论