Association Journal of CSIAM
Supervised by Ministry of Education of PRC
Sponsored by Xi'an Jiaotong University
ISSN 1005-3085  CN 61-1269/O1

Chinese Journal of Engineering Mathematics ›› 2016, Vol. 33 ›› Issue (4): 391-401.doi: 10.3969/j.issn.1005-3085.2016.04.006

Previous Articles     Next Articles

Fuzzy $LI$-ideals in Bounded Heyting Algebras

LIU Chun-hui   

  1. Department of Mathematics and Statistics, Chifeng University, Chifeng, Inner Mongolia 024000
  • Received:2014-11-25 Accepted:2016-04-18 Online:2016-08-15 Published:2016-10-15
  • Supported by:
    The Higher School Science Research Foundation of Inner Mongolia (NJSY14283).

Abstract:

Ideals is one of the important tools for studying the structure characteristics of logical algebras. In this paper, by using methods and principles of algebra and fuzzy sets, we introduce the notion of fuzzy $LI$-ideals and investigate their properties in bounded Heyting algebras. Relation between fuzzy $LI$-ideals and fuzzy lattice ideals is also discussed. Representation theorem of fuzzy $LI$-ideal generated by a fuzzy set is provided. Furthermore, we prove that the set consisting of all fuzzy $LI$-ideals in a given bounded Heyting algebra, under fuzzy set-inclusion order, forms a complete Heyting algebra.

Key words: intuitionistic logic, Heyting algebra, fuzzy $LI$-ideal, complete Heyting algebra

CLC Number: