다값 모달 논리의 새로운 표현 정리와 자동참조 Kripke 의미론

초록

**
본 논문은 지정값 집합에 의존하지 않는 진리‑불변성 추론을 기반으로, 완전 분배 격자를 진리값으로 하는 다값 모달 논리의 대수적 모델과 Kripke 가능한 세계 구조 사이에 강력한 동형성을 제시한다. 특히 공동‑불가약 원소를 세계 집합으로 삼는 자동참조 Kripke 표상과, Belnap 4값 빌라테스를 이용한 불완전·모순 정보 처리를 위한 적용 사례를 제시한다.

**

상세 분석

**
이 연구는 기존 다값 논리의 표현 정리가 ‘행렬(매트릭스) + 지정값 집합’이라는 이분법에 의존한다는 한계를 지적한다. 저자는 지정값을 도입하지 않고도 논리식의 타당성을 판단할 수 있는 ‘진리‑불변성(entailment)’ 개념을 도입한다. 이는 모든 진리값에 대해 부분 순서 ⊑ 가 정의된 경우, 평가 I가 전제들의 합(conjunction)보다 결론들의 합(disjunction)으로 더 크거나 같은 순서에 놓이면 추론이 성립한다는 의미이다.

논문의 핵심 정리는 두 단계로 전개된다. 첫째, 다값 논리 L의 Lindenbaum 대수를 A = F(L)/≡ 로 구성하고, 여기서 ≡ 은 상호 추론 관계이다. 둘째, 완전 분배 격자 A에 대해 ‘공동‑불가약 원소( join‑irreducible elements )’ 집합 J(A)를 가능한 세계 집합으로 삼는다. 각 세계 w∈J(A)는 A의 원소이며, 접근 관계 R_i는 모달 연산자 o_i의 단조성에 의해 w R_i v ⇔ o_i(w) ⊑ v 로 정의된다. 이렇게 하면 A 전체를 부분집합의 체계(P(J(A))) 로 확장한 ‘정규 확장(canonical extension)’과 동형인 Kripke 프레임 (W,R_i) 가 구성된다.

또한 저자는 Gentzen‑형 시퀀트 계산법을 이용해 진리‑불변성 추론 규칙을 형식화한다. 시퀀트 Γ ⊢ Δ 에 대해, 평가 I가 모든 전제의 교집합(∧) 이하에 결론의 합(∨)이 포함되는지를 검사함으로써 모델을 정의한다. 이 접근법은 진리값의 수가 유한이든 무한이든, 격자가 완전 분배적이면 그대로 적용 가능하다.

특히 Belnap 4값 빌라테스(진리 격자와 지식 격자의 곱) 위에 정의된 자동인식 직관주의 다값 논리의 경우, 두 격자의 공동‑불가약 원소가 각각 {t,f,⊥,⊤} 로 구성되며, 이를 통해 ‘불완전·모순 정보’를 동시에 다루는 Kripke 세계가 자동으로 생성된다. 이 세계들은 전통적인 지정값 기반 의미론이 요구하는 ‘진리값 = 1’ 같은 단일 기준을 필요로 하지 않으며, 대신 부분 순서에 기반한 전이 관계가 의미론을 완전하게 규정한다.

결과적으로, 이 논문은 (1) 행렬‑지정값 접근법을 배제하고 진리‑불변성에 기반한 일반적 표현 정리를 제시, (2) 대수적 모델 ↔ Kripke 모델 간의 동형성을 자동참조 방식으로 구축, (3) 완전 분배 격자와 빌라테스 구조에 대한 구체적 적용을 통해 불완전·모순 정보 처리에 유용한 프레임워크를 제공한다는 점에서 학술적·실용적 의의를 갖는다.

**