Ultra LI-ideals in lattice implication algebras and MTL-algebras

被引：1
作者：
Xiaohong Zhang
Keyun Qin
Wiesław A. Dudek
机构：
[1] Ningbo University,Department of Mathematics, Faculty of Science
[2] Southwest Jiaotong University,Department of Applied Mathematics
[3] Wrocław University of Technology,Institute of Mathematics and Computer Science
来源：
Czechoslovak Mathematical Journal | 2007年 / 57卷
关键词：
lattice implication algebra; -algebra; (prime, ultra, obstinate, Boolean) ; -ideal; -ideal;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal.
引用
收藏
页码：591 / 605
页数：14
相关论文
共 30 条
[1]  
Bělohlávek R.(2003)Some properties of residuated lattices Czechoslovak Math. J. 53 161-171
[2]  
Dudek W. A.(1998)On ideals and congruences in Czechoslovak Math. J. 48 21-29
[3]  
Zhang X. H.(2001)-algebras Fuzzy Sets Syst. 124 271-288
[4]  
Esteva F.(2002)Monoidal Studia Logica 70 183-192
[5]  
Godo L.(1999)-norm based logic: Towards a logic for left-continuous J. Korean Math. Soc. 36 369-380
[6]  
Jenei S.(1998)-norms Bull. Korean Math. Soc. 35 13-24
[7]  
Montagna F.(1999)A proof of standard completeness for Esteva and Godo’s logic J. Fuzzy Math. 7 997-1003
[8]  
Jun Y. B.(2003)On Information Sciences 155 157-175
[9]  
Jun Y. B.(2005)-ideals and prime Log. J. IGPL 13 443-466
[10]  
Roh E. H.(2002)-ideals of lattice implication alebras Czechoslovak Math. J. 52 463-468
123