[논문 리뷰] An Algebraic Study of Bilattice-based Logics

Umberto Rivieccio|arXiv (Cornell University)|2010. 10. 13.

Advanced Algebra and Logic참고 문헌 37인용 수 29

한 줄 요약

이 논문은 추상 대수 논리학(AAL)을 사용하여 이중격자 기반 논리에 대한 대수적 프레임워크를 개발하며, 함의적 이중격자와 I-대수 사이의 카테고리적 이중성(대칭성)을 유도함으로써 함의적 이중격자와 I-대수 사이의 수반 함자에 의해 설정한다. 논리 $γ_{\supset}$가 대수화 가능하다는 것을 증명하고, 함의적 이중격자의 표현 정리를 제공함으로써 비원소대수논리의 체계적인 대수적 접근을 가능하게 한다.

ABSTRACT

The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Arnon Avron. The motivation for such an investigation has two main roots. On the one hand there is an interest in bilattices as an elegant formalism that gave rise in the last two decades to a variety of applications, especially in the field of Theoretical Computer Science and Artificial Intelligence. In this respect, the present study aims to be a contribution to a better understanding of the mathematical and logical framework that underlie these applications. On the other hand, our interest in bilattice-based logics comes from Abstract Algebraic Logic. In very general terms, algebraic logic can be described as the study of the connections between algebra and logic. One of the main reasons that motivate this study is the possibility to treat logical problems with algebraic methods and viceversa: this is accomplished by associating to a logical system a class of algebraic models that can be regarded as the algebraic counterpart of that logic. Starting from the work of Tarski and his collaborators, the method of algebraizing logics has been increasingly developed and generalized. In the last two decades, algebraic logicians have focused their attention on the process of algebraization itself: this kind of investigation forms now a subfield of algebraic logic known as Abstract Algebraic Logic (which we abbreviate AAL).

연구 동기 및 목표

• 이중격자 기반 논리에 대한 대수적 의미론을 개발하며, 특히 그 비원소대수논리적 성격을 다루는 것.
• 표준 대수화 기법에 저항하는 논리를 연구함으로써 추상 대수 논리학(AAL)의 범위를 확장하는 것.
• I-대수의 카테고리와 함의적 이중격자의 카테고리 사이의 카테고리적 동치를 수립하는 것.
• 함의적 이중격자의 표현 정리 제공 및 그 합동관계(characterization)를 규명하는 것.
• 논리 $γ_{\supset}$와 그 게이텐젠 스타일 추론 체계의 대수화 가능성을 증명하는 것.

제안 방법

• 진이중격자와 이중격자를 진술의 진리와 지식의 두 격자와 부정 연산을 갖는 대수적 구조로 정의한다.
• 논리적 이중격자($\mathcal{LB}$)와 그 게이텐젠, 힐베르트, 타르스키 스타일의 표현 방식을 정의한다.
• 추상 대수 논리학(AAL)을 적용하여 계산 $\mathcal{G}_{\mathcal{LB}}$의 대수화 가능성을 분석한다.
• 함의를 도입하여 논리를 확장함으로써 $\mathcal{LB}_{\supset}$를 구성하고, 함의적 이중격자를 대수적 모델로 도입한다.
• I-대수에서 함의적 이중격자로의 함자 $F: \mathsf{IAlg} \to \mathsf{ImpBiLat}$를 몫 구조를 통해 구성한다.
• 함의적 이중격자에서 I-대수로의 반대 함자 $G: \mathsf{ImpBiLat} \to \mathsf{IAlg}$를 정의하여 카테고리 간의 수반 관계를 수립한다.

실험 결과

연구 질문

• RQ1 이중격자 기반 논리, 특히 비원소대수논리적인 것들은 추상 대수 논리학을 통해 체계적으로 연구될 수 있는가?
• RQ2 논리 $\mathcal{LB}_{\supset}$의 대수적 대응체는 무엇이며, 대수화 가능한가?
• RQ3 함의적 이중격자는 합동관계와 부분재구성(subreducts)을 통해 어떻게 표현되고 특징지어질 수 있는가?
• RQ4 I-대수와 함의적 이중격자 사이에 카테고리적 동치가 존재하는가?
• RQ5 I-대수의 카테고리와 함의적 이중격자의 카테고리 사이의 수반 관계는 대수적 의미론을 이해하는 데 어떤 역할을 하는가?

주요 결과

• 논리 $\mathcal{LB}_{\supset}$는 대수화 가능하며, 그 등가 대수적 의미론은 함의적 이중격자의 다양체(variety)로 주어진다.
• 함의적 이중격자에 대한 표현 정리가 수립되었으며, 모든 함의적 이중격자 대수가 두 격자의 곱의 몫과 동형임을 보여준다.
• 함자 $F: \mathsf{IAlg} \to \mathsf{ImpBiLat}$는 함자 $G: \mathsf{ImpBiLat} \to \mathsf{IAlg}$에 대해 왼쪽 수반임이 증명되었으며, 이는 수반 쌍을 이룬다.
• 함수 $f_{\mathbf{A}}: \mathbf{A} \to GF(\mathbf{A})$가 $f_{\mathbf{A}}(a) = \langle[a],[\neg a]\rangle$로 정의될 때, 이는 임bedding(매립)임을 증명함으로써 수반의 완전성(fullness)이 입증된다.
• 함의적 이중격자의 카테고리와 I-대수의 카테고리 사이에 함자 $F$와 $G$를 통해 카테고리적 동치가 성립한다.
• 일부 조건 하에서 함의적 이중격자의 대수적 구조는 잔여체를 가진 델모르 대수와 동치임이 밝혀졌으며, 이는 그 대수적 특성화를 풍부하게 한다.