• Kyungpook Mathematical Journal
• /
• 제48권2호
• /
• pp.195-206
• /
• 2008

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not of this kind. An interesting feature of the considerations involved here is the use made of nonmeasurable cardinals. In addition, the integer-valued function rings for Boolean frames are described in terms of internal lattice-ordered ring properties.

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.781-788
• /
• 2011

Sphere-packing problem은 주어진 공간에 가능한 한 많은 구(sphere)를 채울 수 있는 배열을 찾는 문제이고 covering problem은 이에 쌍대적인 최적화의 문제로 코딩이론에 적용된다. 본 논문에서는 이진 코드이론에서의 가중치(weight)와 해밍거리(Hamming distance)에 대한 개념을 부울 대수(Boolean algebra)의 개념으로 일반화한다. 부울 대수에서의 가중치와 이를 이용하여 거리함수를 정의하고, 이들의 기본적인 성질들을 밝힌다. 또한, 부울 대수에서의 sphere-packing bound와 Gilbert-Varshamov bound의 정리를 증명한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.522-525
• /
• 1998

Although each de Morgan algebra has not always fixed points(centers), it has always fixed cores, the natural extention of fixed points. Fixed cores, of they do not degenerate to fixed points, are Boolean algebras, It is also shown the necessary and sufficient condition a algebra to be a Kleene algebra(fuzzy algebra) is that it has just one fixed core.

• 대한수학회지
• /
• 제42권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.

• 대한수학회보
• /
• 제44권4호
• /
• pp.721-729
• /
• 2007

In this paper, we have characterizations of idempotent matrices over general Boolean algebras and chain semirings. As a consequence, we obtain that a fuzzy matrix $A=[a_{i,j}]$ is idempotent if and only if all $a_{i,j}$-patterns of A are idempotent matrices over the binary Boolean algebra $\mathbb{B}_1={0,1}$. Furthermore, it turns out that a binary Boolean matrix is idempotent if and only if it can be represented as a sum of line parts and rectangle parts of the matrix.

• Kyungpook Mathematical Journal
• /
• 제57권1호
• /
• pp.85-97
• /
• 2017

The notions of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are introduced, and related properties are investigated. Characterizations of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are discussed.Relations between regular uni-soft filters and uni-soft MV -filters are considered. It is shown that the notion of a uni-soft MV -filter coincides with the notion of a regular uni-soft filter in BL-algebras.

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.37-43
• /
• 2014

In this paper, we show that for any ${\sigma}$-complete Boolean subalgebra $\mathcal{M}$ of $\mathcal{R}(X)$ containing $Z(X)^{\sharp}$, the Stone-space $S(\mathcal{M})$ of $\mathcal{M}$ is a basically diconnected cover of ${\beta}X$ and that the subspace {${\alpha}{\mid}{\alpha}$ is a fixed $\mathcal{M}$-ultrafilter} of the Stone-space $S(\mathcal{M})$ is the the minimal basically disconnected cover of X if and only if it is a basically disconnected space and $\mathcal{M}{\subseteq}\{\Lambda_X(A){\mid}A{\in}Z({\Lambda}X)^{\sharp}\}$.

• Korean Journal of Mathematics
• /
• 제20권4호
• /
• pp.517-524
• /
• 2012

In this paper, we first show that for any space X, there is a Boolean subalgebra $\mathcal{G}(z_X)$ of R(X) containg $\mathcal{G}(X)$. Let X be a strongly zero-dimensional space such that $z_{\beta}^{-1}(X)$ is the minimal cloz-coevr of X, where ($E_{cc}({\beta}X)$, $z_{\beta}$) is the minimal cloz-cover of ${\beta}X$. We show that the minimal cloz-cover $E_{cc}(X)$ of X is a subspace of the Stone space $S(\mathcal{G}(z_X))$ of $\mathcal{G}(z_X)$ and that $E_{cc}(X)$ is a strongly zero-dimensional space if and only if ${\beta}E_{cc}(X)$ and $S(\mathcal{G}(z_X))$ are homeomorphic. Using these, we show that $E_{cc}(X)$ is a strongly zero-dimensional space and $\mathcal{G}(z_X)=\mathcal{G}(X)$ if and only if ${\beta}E_{cc}(X)=E_{cc}({\beta}X)$.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2005년도 추계학술대회
• /
• pp.408-413
• /
• 2005

D-클래스는 암호학 등의 보안 분야에 응용될 수 있는 가능성을 가지고 있다. 그러나 D-클래스 계산은 NP-완전 문제로서 현재 $4{\times}4$ 이하 크기의 행렬에 대한 D-클래스 만이 알려져 있어 D-클래스의 특성에 대한 연구가 제대로 이루어지지 못하고 있다. 최근 새로운 D-클래스를 얻기 위하여 보다 효율적인 D-클래스 계산에 대한 연구가 수행되었으나 아직 새로운 D-클래스를 계산할 수 있을 정도의 효율적인 연구결과는 보이지 않고 있다. 본 논문은 논리 대수의 연산 특성을 이용하여 D-클래스 계산을 보다 효율적으로 할 수 있는 수학적 이론과 방법을 제시한다.

• 한국수학사학회지
• /
• 제17권2호
• /
• pp.73-84
• /
• 2004

스톤은 스톤 쌍대성에 의하여 완비 불 대수는 극단적으로 비연결인 콤팩트 하우스도르프 공간에 대응되어 불 대수의 범주 Bool에서 단사 대상은 완비 불 대수인 사실에 의하여 0차원 콤팩트 공간의 범주 ZComp의 사영 대상은 극단적으로 비연결인 콤팩트 공간임을 증명하였고, 완전 정규 공간 X가 극단적인 비연결 공간이기 위한 필요충분조건은 X에서 실직선로의 연속함수의 순서집합 C(X, )이 데데킨트 완비인 사실[6]이 드모르간 틀에서도 성립함을 증명하였다[2]. 이 논문에서는 드 모르간의 역사를 조사하고, 드모르간 틀을 도입하여 극단적인 비연결 공간과의 관계와 드 모르간 틀과 불 대수 사이의 관계를 연구한다.