• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2018년도 춘계 종합학술대회 논문집
• /
• pp.381-382
• /
• 2018

격자함의 대수와 헤이팅 대수는 부울 대수를 일반화한 논리체계이며 논리적 함의(${\rightarrow}$)를 이항연사자로 갖는 대수적 체계를 갖는다. 본 논문에서는 격자함의 대수와 헤이팅 대수가 서로 다른 대수체계를 갖는다는 것을 예로 보이고, 이들의 차이점을 조사한다. 또한 격자함의 대수, 헤이팅 대수, 그리고 부울 대수의 관계를 알아본다.

• 논리연구
• /
• 제2권
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

• 융합정보논문지
• /
• 제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]$이 격자함의대수로써 동치임을 보인다.

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

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