• 제목/요약/키워드: (implicative) filter

검색결과 22건 처리시간 0.016초

ON POSITIVE IMPLICATIVE FILTERS IN BE-ALGEBRAS

  • Kim, Young Hee;Park, Jung Hee
    • 충청수학회지
    • /
    • 제27권3호
    • /
    • pp.419-426
    • /
    • 2014
  • In this paper, we introduce the notion of a positive implicative filter in BE-algebras. We show that every positive implicative filter is a filter in BE-algebras. We give some examples that a filter may not be a positive implicative filter and also a positive implicative filter may be not an implicative filter in BE-algebras. We also give some equivalent conditions of a positive implicative filter in BE-algebras.

FUZZY FOLDNESS OF IMPLICATIVE ORDERED FILTERS IN IMPLICATIVE SEMIGROUPS

  • Jun, Young-Bae;Park, Chul-Hwan
    • 호남수학학술지
    • /
    • 제29권2호
    • /
    • pp.279-288
    • /
    • 2007
  • The notion of fuzzy n-fold implicative ordered filters in implicative semigroups is introduced, and related properties are investigated. Relations between fuzzy ordered filters and fuzzy n-fold implicative ordered filters are provided. Characterizations of a fuzzy n-fold implicative ordered filter are given, and an extension property for a fuzzy n-fold implicative ordered filter is obtained.

IMPLICATIVE ORDERED FILTERS OF IMPLICATIVE SEMIGROUPS

  • Jun, Young-Bae
    • 대한수학회논문집
    • /
    • 제14권1호
    • /
    • pp.47-55
    • /
    • 1999
  • This paper continues the investigations of implicative semigroups and of their ordered filters which were started in general case by M.W. Chan and K. P. Shum [3]. In particular, the notion of an implicative ordered filter of an implicative semigroup is introduced. We state some equivalent conditions for an ordered filter to be an implicative ordered filter and obtain the so called extension property for implicative ordered filters.

  • PDF

Positive implicative and associative filters of lattice implication algebras

  • Jun, Young-Bae;Yang Xu;Keyun Qin
    • 대한수학회보
    • /
    • 제35권1호
    • /
    • pp.53-61
    • /
    • 1998
  • We introduce the concepts of a positive implicative filter and an associative filter in a lattice implication algebra. We prove that (i) every positive implicative filter is an implicative filter, and (ii) every associative filter is a filter. We provide equivalent conditions for both a positive implicative filter and an associative filter.

  • PDF

IMPLICATIVE FILTERS OF R0-ALGEBRAS BASED ON FUZZY POINTS

  • Jun, Young-Bae;Song, Seok-Zun
    • 대한수학회논문집
    • /
    • 제27권4호
    • /
    • pp.669-687
    • /
    • 2012
  • As a generalization of the concept of a fuzzy implicative filter which is introduced by Liu and Li [3], the notion of (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is introduced, and related properties are investigated. The relationship between (${\in}$, ${\in}{\vee}q_k$)-fuzzy filters and (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is established. Conditions for an (${\in}$, ${\in}{\vee}q_k$)-fuzzy filter to be an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are considered. Characterizations of an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are provided, and the implication-based fuzzy implicative filters of an $R_0$-algebra is discussed.

INT-SOFT POSITIVE IMPLICATIVE FILTERS IN BE-ALGEBRAS

  • PARK, JUNG HEE;KIM, YOUNG HEE
    • Journal of applied mathematics & informatics
    • /
    • 제33권3_4호
    • /
    • pp.459-467
    • /
    • 2015
  • The notion of int-soft implicative filters of a BE-algebra is introduced, and related properties are investigated. The problem of clas- sifying int-soft positive implicative by their γ-inclusive filter is solved. We provide conditions for a soft set to be an int-soft filter. We make a new int-soft implicative filter from old one.

WEAK IMPLICATIVE FILTERS OF BE-ALGEBRAS

  • RAO, M. SAMBASIVA
    • Journal of applied mathematics & informatics
    • /
    • 제35권5_6호
    • /
    • pp.513-528
    • /
    • 2017
  • The concept of weak implicative filters is introduced in BE-algebras. Some characterizations of weak implicative filters are derived in terms of filters of a BE-algebra. Fuzzification is applied to the class of weak implicative filters. Some properties of fuzzy weak implicative filters are studied with respect to fuzzy relations and homomorphisms. The notion of triangular normed fuzzy weak implicative filters is introduced in BE-algebras and their properties are studied.

INT-SOFT FILTERS IN LATTICE IMPLICATION ALGEBRAS

  • Jun, Young Bae;Xu, Yang;Zhang, Xiaohong
    • 대한수학회보
    • /
    • 제53권5호
    • /
    • pp.1483-1495
    • /
    • 2016
  • The notion of int-soft (implicative) filters in lattice implication algebras is introduced, and related properties are investigated. Characterizations of int-soft (implicative) filters are discussed. Conditions for an int-soft filter to be an int-soft implicative filter are provided. Extension property for int-soft implicative filters is established.

FUZZY n-FOLD POSITIVE IMPLICATIVE FILTERS IN LATTICE IMPLICATION ALGEBRAS

  • Jin, Young-Bae;Song, Seok-Zun
    • Journal of applied mathematics & informatics
    • /
    • 제13권1_2호
    • /
    • pp.153-163
    • /
    • 2003
  • The fuzzification of a positive implicative filter is considered, and some of properties are investigated. The relation among fussy filter, fuzzy n-fold implicative filter, and fuzzy n-fold positive implication filter is discussed.

Implicative filters of lattice implication algebras

  • Jun, Young-Bae
    • 대한수학회보
    • /
    • 제34권2호
    • /
    • pp.193-198
    • /
    • 1997
  • In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

  • PDF