[논문 리뷰] Invariant measures in Lukasiewicz logic

Giovanni Panti|arXiv (Cornell University)|2005. 08. 24.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 유한 생성 자유 MV-대수에서, 진리 평균화 과정 중에서 자동형사상에 대해 불변인 것 중에서 유일하게 가짜진리 문장을 탐지할 수 있는 것은 르베그 적분임을 규명한다. 또한 르베그 측도가 Łukasiewicz 논리에서 공식의 진리값을 일관되게 할당하는 유일한 불변 상태로 특징지어짐을 증명한다.

ABSTRACT

Abstract. We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure. 1. Preliminaries To fix notation, we recall that an MV-algebra is an algebra (A, ⊕, ¬, 0) such that (A, ⊕, 0) is a commutative monoid and the identities ¬¬f = f, f ⊕ ¬0 = ¬0, and ¬(¬f ⊕g) ⊕g = ¬(¬g ⊕f) ⊕f are satisfied; as usual, we define f ⊙g = ¬(¬f ⊕ ¬g) and 1 = ¬0. MV-algebras stand to ̷Lukasiewicz infinite-valued propositional logic as Boolean algebras stand to classical two-valued logic; we assume familiarity with the basics of the theory, see [5], [4], [1], [3]. In [7], Mundici defined a state on the MV-algebra A as a function m: A → [0, 1] such that m(0) = 0, m(1) = 1, and m(f ⊕ g) = m(f) + m(g) provided that f ⊙g = 0. If A is viewed as the Lindenbaum algebra of some theory in ̷Lukasiewicz logic, then m is a function assigning an “average truth-value ” to the elements of A, i.e., to the propositional formulas modulo the theory. The set of all states of A is a

연구 동기 및 목표

• Łukasiewicz 논리에서 가짜진리 문장을 탐지하는 자동형사상에 대해 불변인 진리 평균화 과정을 특징짓는 것.
• 르베그 측도가 끝없이 생성된 자유 MV-대수에서 이러한 과정 중에서 유일한가를 규명하는 것.
• MV-대수의 맥락에서 르베그 측도가 불변 상태로서 유일함을 확립하는 것.
• MV-대수의 상태가 Łukasiewicz 논리의 의미론에서 진리값 평균화 함수로서 수행하는 역할을 명확히 하는 것.

제안 방법

• 분석의 기초로 삼기 위해 끝없이 생성된 자유 MV-대수의 대수적 구조를 활용한다.
• MV-대수의 상태 개념을 활용하여 공식을 [0,1] 값으로 매핑하는 함수로 진리값의 평균치를 표현한다.
• 자기형사상에 대한 불변성을 조건으로 설정하여 대수적 대칭성에 의해 보존되는 상태의 집합으로 가능한 상태의 범주를 제한한다.
• 가짜진리 문장—진리값이 1에 임의로 가까운 공식—에 대한 상태의 행동을 분석한다.
• 측도 이론적 추론을 활용하여 자동형사상 불변성과 탐지 조건을 동시에 만족하는 것은 오직 르베그 측도뿐임을 보여준다.
• 자유 MV-대수의 표현과 컴acts한 볼록집합과의 딱딱한 대응 등 MV-대수 이론의 기존 결과에 의존한다.

실험 결과

연구 질문

• RQ1 끝없이 생성된 자유 MV-대수에서 자동형사상에 대해 불변인 진리 평균화 과정 중에서 가짜진리 문장을 탐지할 수 있는 것은 무엇인가?
• RQ2 르베그 측도가 불변성과 탐지 성질을 동시에 만족하는 이러한 과정 중에서 유일한가?
• RQ3 MV-대수의 상태는 Łukasiewicz 논리의 의미론에서 진리값 평균화 관점에서 어떻게 관련되는가?
• RQ4 어떤 구조적 제약 조건이 이 맥락에서 르베그 측도가 오직 하나의 타당한 불변 상태가 되도록 만드는가?

주요 결과

• 끝없이 생성된 자유 MV-대수에서 자동형사상에 대해 불변인 상태 중에서 가짜진리 문장을 탐지하는 것은 오직 르베그 적분뿐이다.
• 이 맥락에서 르베그 측도는 불변 진리 평균화 과정으로서 고유하게 특징지어진다.
• 자기형사상에 대한 불변성은 가능한 상태의 집합을 유일한 표준 측도로 제한한다.
• 결과적으로, Łukasiewicz 논리에서 자유 대수에서의 진리값 평균화에 있어 르베그 측도가 자연스럽고 오직 하나의 일관된 선택임을 확인한다.
• 증명는 MV-대수에서 대수적 대칭성과 측도 이론적 구조 간의 상호작용에 기반한다.
• 르베그 적분 이외의 다른 상태는 자동형사상 불변성과 가짜진리 탐지 조건를 동시에 만족하지 못한다.