Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Strong prime LI-ideals in lattice implication algebras

Authors
Lijun Bai1, Yang Xu, Zhiyan Chang, Weitao Xu
1Department of Applied Mathematics, Southwest Jiaotong University
Corresponding Author
Lijun Bai
Available Online October 2007.
DOI
10.2991/iske.2007.278How to use a DOI?
Keywords
lattice implication algebra; prime LI-ideal; SPLI-ideal; finite union property
Abstract

In this paper, the notion of strong prime LI-ideals (briefly, SPLI-ideals) of lattice implication algebras is introduced. Four kinds of relations, SPLI-ideals and prime LI-ideals, SPLI-ideals and maximal proper LI-ideals, SPLI-ideals and the finite union property, SPLI-ideals and ultra-filter are then investigated, respectively. Finally, it is concluded that SPLI-ideals are equivalent to maximal proper LI-ideals.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
978-90-78677-04-8
ISSN
1951-6851
DOI
10.2991/iske.2007.278How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Lijun Bai
AU  - Yang Xu
AU  - Zhiyan Chang
AU  - Weitao Xu
PY  - 2007/10
DA  - 2007/10
TI  - Strong prime LI-ideals in lattice implication algebras
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1624
EP  - 1628
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.278
DO  - 10.2991/iske.2007.278
ID  - Bai2007/10
ER  -