论文信息 - Ultra LI-ideals in lattice implication algebras and MTL-algebras

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

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.

[1] Esko Turunen,et al. Boolean deductive systems of BL-algebras , 2001, Arch. Math. Log..

[2] Wang Guo. MV-Algebras, BL-Algebras, R_0-Algebras, and Multiple-Valued Logic , 2002 .

[3] Young Bae Jun. ON LI-IDEALS AND PRIME LI-IDEALS OF LATTICE IMPLICATION ALGEBRAS , 1999 .

[4] Young Bae Jun,et al. Ultra LI-ideals in lattice implication algebras , 2002 .

[5] Franco Montagna,et al. A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

[6] Radim Bělohlávek,et al. Some Properties of Residuated Lattices , 2003 .

[7] Y. Jun. Implicative filters of lattice implication algebras , 1997 .

[8] Young Bae Jun,et al. LI-ideals in lattice implication algebras , 1998 .

[9] Carles Noguera,et al. On Some Varieties of MTL-algebras , 2005, Log. J. IGPL.

[10] Jun Liu,et al. Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness and Incomparability , 2003, Studies in Fuzziness and Soft Computing.

[11] Lluis Godo,et al. Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[12] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[13] W. Dudek,et al. On ideals and congruences in bcc-algebras , 1998 .

[14] Keyun Qin,et al. ILI-ideals and prime LI-ideals in lattice implication algebras , 2003, Inf. Sci..

[15] Y. Xu. Lattice implication algebras , 1993 .