• 충청수학회지
• /
• 제27권1호
• /
• pp.57-64
• /
• 2014

It is known that the class of CI-algebras is a generalization of the class of BE-algebras [5]. Recently, K. H. Kim introduced the notion of a CS-algebra [4]. In this paper we discuss a closed deductive system of a CS-algebra, and we find some fundamental properties. Moreover, we study a CS-algebra homomorphism and a congruence relation.

• 융합정보논문지
• /
• 제7권3호
• /
• pp.65-71
• /
• 2017

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.

• 융합정보논문지
• /
• 제9권5호
• /
• pp.7-13
• /
• 2019

클라우드 환경이나 빅데이터 환경에서의 역할기반 또는 속성기반의 접근제어에는 계층적 모델을 표현하는 적당한 수학적 구조가 필요하다. 본 논문에서는 역할기반 또는 속성기반의 접근제어의 계층적 모델을 구현할 수 있는 격자함의 대수에서 멀티플라이어와 단순 멀티플라이어의 개념을 정의하고, 모든 멀티플라이어는 단순 멀티플라이어임을 증명한다. 또한 격자함의대수 L의 멀티플라이어와 준동형사상의 관계를 조사하고, 각각의 $u{\in}L$에 대하여 격자 [0, u]와 격자 $[u^{\prime},1]$이 동치임과 $u{\vee}u^{\prime}=1$인 $u{\in}L$에 대하여 L과 $[u,1]{\times}[u^{\prime},1]$이 격자함의대수로써 동치임을 보인다.