• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.207-219
• /
• 2015

As a generalization of BH-algebras, the notion of pseudo BH-algebra is introduced, and some of their properties are investigated. The notions of pseudo ideals, pseudo atoms, pseudo strong ideals, and pseudo homomorphisms in pseudo BH-algebras are introduced. Characterizations of their properties are provided. We show that every pseudo homomorphic image and preimage of a pseudo ideal is also a pseudo ideal. Any pseudo ideal of a pseudo BH-algebra can be decomposed into the union of some sets. The notion of pseudo complicated BH-algebra is introduced and some related properties are obtained.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.1077-1108
• /
• 2019

The notions of intuitionistic fuzzy UP-subalgebras and intuitionistic fuzzy UP-ideals of UP-algebras were introduced by Kesorn et al. [13]. In this paper, we introduce the notions of intuitionistic fuzzy near UP-filters, intuitionistic fuzzy UP-filters, and intuitionistic fuzzy strong UP-ideals of UP-algebras, prove their generalizations, and investigate their basic properties. Furthermore, we discuss the relations between intuitionistic fuzzy near UP-filters (resp., intuitionistic fuzzy UP-filters, intuitionistic fuzzy strong UP-ideals) and their upper t-(strong) level subsets and lower t-(strong) level subsets in UP-algebras.

• Honam Mathematical Journal
• /
• v.32 no.2
• /
• pp.203-215
• /
• 2010

The notion of strong ideal in BH-algebra is introduced and investigated some properties of it. Rough sets and rough strong ideals in BH-algebras are established and some related their properties are discussed.

• Honam Mathematical Journal
• /
• v.33 no.2
• /
• pp.271-277
• /
• 2011

The notion of n-fold strong ideal in BH-algebra is introduced and some related properties of it are investigated. The role of initial segments in BH-algebras is described.

• Journal of the Korean Society of Costume
• /
• v.51 no.6
• /
• pp.5-24
• /
• 2001

This paper is intended to explore femininity the ideal beauty of body and the features in fashion pursued in the Fashion system and the Anti-Fashion Movement in the Victorian period, on which the modern fashion is based. For the informative facts needed in this paper, books on history, fashion history, feminism, art history of aestheticism and the ideal beauty of body are referred to. On the part Ⅱ of this paper, the femininity and the ideal beauty of body implied in the Aesthetic Movement and Rational Dress Movement as the anti-fashion movement in the Victorian period will be reviewed. Following are the conclusion : First, the works in Aesthetic Movement mainly include the image of sensual female. The essence of femininity is categorized by cultural value, poetic spirit. appetite for sex and self-expression. The ideal beauty of body pursued in this movement is the beauty of immatured body, which means rejection of maternity as well as appetite for sex in the form of metaphor of the power and enthusiasm of female. The features of Aesthetic Movement emphasize the image of sensual and characteristic woman. These features are expressed in the natural waist line and the vertical H silhouette of high waist, natural exposure of body by means of drapery, simplicity and decency by design without fixed forms and seemingly faded colors. Second, Rational Dress Movement attempted to evaluate the femininity in a different way and ultimately pursued masculinity. Therefore, morality, liberty, intelligence, spirituality, self-control, willingness, which had been believed to exclusively belong to male, are added to the categories of femininity. The ideal beauty of body is expressed in the form of Venus Coelestic which is refined and strong. This symbolizes woman's freeing from the fate of reproduction and subordinate relationship with male, morality, decision of one's own and willingness. The features of Rational Dress Movement represent the image of strong-willed and moral woman in its internal meaning. The features of its fashions represent the concealment of the body, emphasis on activeness in pants without decoration and simplicity in its external form. All these features resulted from the pursuit of masculinity.

• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.379-388
• /
• 2008

We introduce countably strong inclusions ${\triangleleft}=({\triangleleft}_1,\;{\triangleleft}_2)$ on a biframe $L=(L_0,\;L_1,\;L_2)$ and i-strongly regular ${\sigma}$-ideals (i =1, 2) and then using them, we construct biframe $Lindel{\ddot{o}}fication$ of L. Furthermore, we obtain a sufficient condition for which L has a unique countably strong inclusion.

• Journal of Korea Society of Industrial Information Systems
• /
• v.18 no.3
• /
• pp.17-26
• /
• 2013

We have developed an ideal functionality for security requirement of functional encryption schemes. The functionality is needed when we want to show the security of a functional encryption scheme in universal composable (UC) framework. A functionality $F_{fe}$ was developed to represent ideal respond of a functional encryption scheme against any polynomial time active attacker. We show that UC security notion of functional encryption scheme $F_{fe}$ is as strong as fully secure functional encryption in an indistinguishable game with chosen cipher text attack. The proof used a method that showing for any environment algorithm, it can not distinguish ideal world where the attacker play with ideal functionality $F_{fe}$ and real world where the attacker play a fully secure functional encryption scheme.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.503-508
• /
• 2003

We prove that every M-ideal is strongly proximinal and that, for any Banach space X, $K(X,\;c_0)$ is an M-ideal in $L(X,\;\ell^{\infty})$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.567-608
• /
• 2022

We show that certain extensions of classifiable C^*-algebras are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K₀-groups of the ideal and quotient. We use our results to completely classify all unital graph C^*-algebras with exactly one non-trivial ideal.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.303-303
• /
• 2019