ILI-ideals and prime LI-ideals in lattice implication algebras

被引:38
作者
Liu, YL [1 ]
Liu, SY
Xu, Y
Qin, KY
机构
[1] Nanping Teachers Coll, Dept Math, Fujian 353000, Peoples R China
[2] SW Jiaotong Univ, Dept Appl Math, Chengdu 610031, Sichuan, Peoples R China
[3] Xidian Univ, Dept Appl Math, Xian 710071, Peoples R China
基金
中国国家自然科学基金;
关键词
lattice implication algebra; ILI-ideal; prime LI-ideal; maximal LI-ideal;
D O I
10.1016/S0020-0255(03)00159-2
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The notions of ILI-ideals and maximal LI-ideals of lattice implication algebras are introduced, respectively. The properties of ILI-ideals, prime LI-ideals and maximal LI-ideals are investigated. Several characterizations of ILI-ideals and prime LI-ideals are given. The extension theorem of ILI-ideals is obtained. The relations between ILI-ideals and LI-ideals, between ILI-ideals and implication filter, between prime LI-ideals and maximal LI-ideals, between prime LI-ideals and ILI-ideals, between maximal LI-ideals and ILI-ideals, between maximal LI-ideals and LI-ideals, and between prime LI-ideals and LI-ideals are investigated, respectively. Some classes of lattice implication algebras are characterized by their ILI-ideals (respectively prime LI-ideals, maximal LI-ideals). (C) 2003 Elsevier Inc. All rights reserved.
引用
收藏
页码:157 / 175
页数:19
相关论文
共 15 条
[1]  
BORNS D, 1975, ALGEBRAIC INTRO MATH
[2]  
Jun Y. B., 1997, B KOREAN MATH SOC, V34, P193
[3]  
JUN YB, 1999, J KOREAN MATH SOC, V36, P369
[4]  
JUN YB, 1998, B KOREAN MATH SOC, V35, P53
[5]  
Liu J, 1997, CHINESE SCI BULL, V42, P1517
[6]   α-Resolution principle based on first-order lattice-valued logic LF(X) [J].
Xu, Y ;
Ruan, D ;
Kerre, EE ;
Liu, J .
INFORMATION SCIENCES, 2001, 132 (1-4) :221-239
[7]   Fuzzy reasoning based on the extension principle [J].
Xu, Y ;
Kerre, EE ;
Ruan, D ;
Song, ZM .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (04) :469-495
[8]  
Xu Y, 1999, INFORM SCIENCES, V114, P205, DOI 10.1016/S0020-0255(98)10053-1
[9]  
Xu Y., 1993, J SW JIAOTONG U, V28, P20
[10]  
XU Y, IN PRESS LATTICE VAL