레지듀얼 격자 구조에서의 한프·가이프만 지역성 연구

초록

본 논문은 다값 논리의 모델 이론을 담당하는 레지듀얼 격자 위의 구조에 대해, 고전 논리의 한프와 가이프만 지역성 정리가 어느 정도 유지되는지를 조사한다. 지역성 개념의 여러 일반화와 레지듀얼 격자의 특성(특히 잘 연결된 격자와 공동원소 존재 여부)을 기준으로, 한프 정리는 기본적인 이웃 개념에서는 실패하지만 대안적 정의에서는 회복될 수 있음을 보이고, 가이프만 정리의 핵심 보조정리(동일한 기본 지역 문장을 만족하는 모델은 원소적으로 동등함)는 충분히 표현 가능한 연결 연산자를 갖는 경우에 재구성한다.

상세 분석

이 논문은 먼저 다값 모델 이론의 기본 틀을 정리하고, 레지듀얼 격자(residuated lattice)를 “진리값 알제브라”로 채택한다. 레지듀얼 격자는 ∧, ∨,·,/,,1 로 이루어진 대수이며, 특히 왼·오른 잔여 연산자(/, )가 순서와 동형인 경우(즉, a ≤ b ⇔ a·c ≤ b·c ⇔ c ≤ a\ b 등) 를 ‘order‑interpreting connective’라 부른다. 이 연산자는 논리식의 의미와 모델의 평가 함수 ‖·‖ 사이에 직접적인 연결 고리를 제공한다는 점이 논문의 핵심 아이디어다.

한프 지역성(Hanf locality)은 “같은 양화자 순위(rank)를 가진 두 문장이 동일한 수의 k‑반경 이웃 구조를 가질 때 동등함”을 말한다. 저자는 전통적인 “반경 k 이웃” 정의를 레지듀얼 격자 모델에 그대로 적용하면, 잔여 연산자의 비정형성(특히 위·아래 경계가 없거나 공동원소가 없는 경우) 때문에 정리가 깨진다. 예를 들어, 무한 체인 구조에서는 동일한 양화자 순위라도 서로 다른 ‘진리값 분포’를 가질 수 있어 한프 정리가 실패한다.

하지만 ‘잘 연결된’(well‑connected) 레지듀얼 격자, 즉 모든 원소 a, b에 대해 a∨b≥1 ⇔ a≥1 또는 b≥1 를 만족하는 격자에서는 대안적 이웃 개념을 도입한다. 여기서는 “값이 1에 가까운 원소들만을 고려한 근접성”을 정의하고, 이 정의 하에서는 한프 정리가 다시 성립한다. 특히, FSI(fully subdirectly irreducible) 격자와 같은 대표적인 예시들(예: MV‑체인, Gödel‑체인)에서 이 결과가 확인된다.

가이프만 지역성(Gaifman locality)의 경우, 원래 정리는 “모든 1차 논리식은 제한된 반경 내에서만 양화자를 사용할 수 있는 동등한 정규형으로 변환 가능”함을 보인다. 논문은 정규형 자체보다는 “동일한 기본 지역 문장을 만족하는 두 모델은 원소적으로 동등하다”는 보조정리를 목표로 한다. 이를 위해 저자는 다음 두 조건을 전제한다. 첫째, 알제브라가 위에서 언급한 order‑interpreting connective 를 포함한다(즉, → 혹은 τ(x,y) 형태의 연산이 존재). 둘째, 알제브라가 ‘bounded below’ 혹은 ‘co‑atom’을 갖는 경우, 즉 1 바로 아래에 최소 원소가 존재한다면, 지역성을 표현하는 구문을 알제브라 내부에 코딩할 수 있다.

이러한 전제 하에, 저자는 백앤포어(back‑and‑forth) 시스템을 ‘문법적’으로 인코딩한다. 구체적으로, 두 모델 M,N 사이에 부분 동형 사상 f: M↦N을 정의하고, 각 단계에서 τ‑연산을 이용해 “x ≤ y”를 공식화한다. 그러면 f가 유지해야 할 조건은 ‖τ(a,b)‖=1 ⇔ a ≤ b 가 되며, 이는 전통적인 동형 사상 조건과 동등하다. 이 과정을 반복하면, 모든 기본 지역 문장을 보존하는 f가 존재함을 보이고, 따라서 M와 N은 원소적으로 동등함을 얻는다.

결과적으로, 논문은 다음과 같은 교훈을 제시한다. (1) 레지듀얼 격자 위의 다값 모델에서도 고전적인 지역성 정리가 완전히 사라지는 것이 아니라, 알제브라의 구조적 특성에 따라 부분적으로 회복될 수 있다. (2) 특히, order‑interpreting connective 와 적절한 경계 원소(co‑atom 또는 하한) 존재 여부가 핵심적인 역할을 한다. (3) 이러한 조건이 충족될 때, 전통적인 백앤포어 기법을 ‘문법적’으로 옮겨, 동일한 지역 문장을 만족하는 모델 간의 원소적 동등성을 증명할 수 있다. 이는 향후 비클래식 논리, 특히 서브스트럭처럴 논리의 모델 이론을 확장하는 데 중요한 설계 원칙을 제공한다.