• Journal of the Korean Mathematical Society
• /
• v.42 no.6
• /
• pp.1111-1120
• /
• 2005

Hong and Nel in [8] obtained a number of spectral dualities between a cartesian closed topological category X and a category of algebras of suitable type in X in accordance with the original formalism of Porst and Wischnewsky[12]. In this paper, there arises a dual adjointness S $\vdash$ C between the category X = Lim of limit spaces and that A of MV-algebras in X. We firstly show that the spectral duality: $S(A)^{op}{\simeq}C(X^{op})$ holds for the dualizing object K = I = [0,1] or K = 2 = {0, 1}. Secondly, we study a duality between the category of Tychonoff spaces and the category of semi-simple MV-algebras. Furthermore, it is shown that for any $X\;\in\;Lim\;(X\;{\neq}\;{\emptyset})\;C(X,\;I)$ is densely embedded into a cube $I^/H/$, where H is a set.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.29-32
• /
• 2003

We introduce the subcategories IRe $l_{PR}$ (H), IRe $l_{PO}$ (H) and IRe $l_{E}$(H) of IRe $l_{R}$(H) and study their structures in a viewpoint of the topological universe introduced by L.D.Nel. In particular, the category IRe $l_{R}$(H)(resp. IRe $l_{P}$(H) and IRe $l_{E}$(H)) is a topological universe eve, Set. Moreover, we show that IRe $l_{E}$(H) has exponential objects.ial objects.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.2
• /
• pp.134-141
• /
• 2010

We introduce the category IVSet(H) of interval-valued H-fuzzy sets and show that IVSet(H) satisfies all the conditions of a topological universe except the terminal separator property. And we study some relations among IVSet (H), ISet (H) and Set (H).

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.33-45
• /
• 2005

We introduce the category ISet(H) of intuitionistic H-fuzzy sets and show that ISet(H) satisfies all the conditions of a topological universe except the terminal separator property. And we study the relation between Set(H) and ISet(H).

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.33-36
• /
• 2003

We introduce the subcategory IRel$\_$R/ (H) of IRel (H) consisting of intuitionistic H-fuzzy reflexive relational spaces on sets and we study structures of IRel$\_$R/ (H) in a viewpoint of the topological universe introduce by L.D.Nel. We show that IRel$\_$R/ (H) is a topological universe over Set. Moreover, we show that exponential objects in IRel$\_$R/ (H) are quite different from those in IRel (H) constructed in [7].