메뉴 건너뛰기
Information Sciences
Volumn 171, Issue 1-3, 2005, Pages 61-71
Fuzzy implicative and Boolean filters of R0 algebras
Author keywords

Fuzzy Boolean filter; Fuzzy implicative filter; Lattice implication algebra; R0 algebra
Indexed keywords

FUZZY SETS; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING;
EID: 13544277377     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2004.03.017     Document Type: Article
Times cited : (57)
References (17)
  • 1
    • 0003165003 scopus 로고
    • Lattice implication algebras
    • Xu Y. Lattice implication algebras. J. Southwest Jiaotong Univ. 1:1993;20-27
    • (1993) J. Southwest Jiaotong Univ. , vol.1 , pp. 20-27
    • Xu, Y.1
  • 2
    • 0000985403 scopus 로고
    • On filters of lattice implication algebras [J]
    • Xu Y., Qin K.Y. On filters of lattice implication algebras [J]. J. Fuzzy Math. 2:1993;251-260
    • (1993) J. Fuzzy Math. , vol.2 , pp. 251-260
    • Xu, Y.1    Qin, K.Y.2
  • 3
  • 4
    • 0343807100 scopus 로고    scopus 로고
    • Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras
    • Jun Y.B. Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras. Fuzzy Sets Syst. 121:2001;353-357
    • (2001) Fuzzy Sets Syst. , vol.121 , pp. 353-357
    • Jun, Y.B.1
  • 5
    • 0343807102 scopus 로고    scopus 로고
    • Quotient structures of some implicative algebras via fuzzy implicative filters
    • Jun Y.B., Ahn S.S., Kim H.S. Quotient structures of some implicative algebras via fuzzy implicative filters. Fuzzy Sets Syst. 121:2001;325-332
    • (2001) Fuzzy Sets Syst. , vol.121 , pp. 325-332
    • Jun, Y.B.1    Ahn, S.S.2    Kim, H.S.3
  • 6
    • 13544266925 scopus 로고    scopus 로고
    • Some operations on lattice implication algebras
    • Rom E.H., Kim S.Y., Xu Y., et al. Some operations on lattice implication algebras. Int. J. Math. Math. Sci. 1:2001;45-52
    • (2001) Int. J. Math. Math. Sci. , vol.1 , pp. 45-52
    • Rom, E.H.1    Kim, S.Y.2    Xu, Y.3
  • 7
    • 13544249415 scopus 로고    scopus 로고
    • On n-fold implicative filters of lattice implication algebras
    • Jun Y.B. On. n -fold implicative filters of lattice implication algebras Int. J. Math. Math. Sci. 11:2001;695-699
    • (2001) Int. J. Math. Math. Sci. , vol.11 , pp. 695-699
    • Jun, Y.B.1
  • 8
    • 0035645338 scopus 로고    scopus 로고
    • Boolean deductive systems of BL algebras
    • Turunen E. Boolean deductive systems of BL algebras. Arch. Math. Logic. 40:2001;467-473
    • (2001) Arch. Math. Logic , vol.40 , pp. 467-473
    • Turunen, E.1
  • 11
    • 0032641460 scopus 로고    scopus 로고
    • On the logic foundation of fuzzy reasoning
    • Wang G.J. On the logic foundation of fuzzy reasoning. Inform. Sci. 117:1999;47-88
    • (1999) Inform. Sci. , vol.117 , pp. 47-88
    • Wang, G.J.1
  • 12
    • 13544264211 scopus 로고    scopus 로고
    • The completeness and application of formal systems £
    • Pei D.W., Wang G.J. The completeness and application of formal systems £ Sci. China (Ser. E). 1:2002;56-64
    • (2002) Sci. China (Ser. E) , vol.1 , pp. 56-64
    • Pei, D.W.1    Wang, G.J.2
  • 14
    • 0035900852 scopus 로고    scopus 로고
    • Monoidal t-norm based logic: Towards a logic for left-continuous t-norm
    • Esteva F., Godo L. Monoidal. t -norm based logic: towards a logic for left-continuous t -norm Fuzzy Sets Syst. 124:2001;271-288
    • (2001) Fuzzy Sets Syst. , vol.124 , pp. 271-288
    • Esteva, F.1    Godo, L.2
  • 16
    • 0035248015 scopus 로고    scopus 로고
    • α-Resolution principle based on first-order lattice-valued logic LF(X)
    • Xu Y., Ruan D., Kerre E.E., Liu J. α -Resolution principle based on first-order lattice-valued logic LF(X) Inform. Sci. 132:2001;221-239
    • (2001) Inform. Sci. , vol.132 , pp. 221-239
    • Xu, Y.1    Ruan, D.2    Kerre, E.E.3    Liu, J.4
  • 17
    • 0042784692 scopus 로고    scopus 로고
    • ILI-ideals and prime LI-ideals in lattice implication algebras
    • Liu Y.L., Liu S.Y., Xu Y., Qin K.Y. ILI-ideals and prime LI-ideals in lattice implication algebras. Inform. Sci. 155:2003;157-175
    • (2003) Inform. Sci. , vol.155 , pp. 157-175
    • Liu, Y.L.1    Liu, S.Y.2    Xu, Y.3    Qin, K.Y.4

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.