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

Ultra LI-ideals in lattice implication algebras

We define an ultra LI-ideal of a lattice implication algebra and give equivalent conditions for an LI-ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra LI-ideal.

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

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

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

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

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

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

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

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

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

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

[11] Y. Jun,et al. Positive implicative and associative filters of lattice implication algebras , 1998 .

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