동형사상과 동형연속성 고전·모순논리 모달 논리의 새로운 연결

초록

본 논문은 위상 의미론을 이용해 고전 모달 논리와 모순(paraconsistent) 모달 논리 사이의 진리 보존 변환을 연구한다. 위상공간의 동형사상과 동형연속성(호모토피)을 도입해 모델 간 변환이 논리식의 타당성을 유지함을 보이고, 이를 측정할 수 있는 방법을 제안한다. 비클래식 경우에는 확장된 명제의 집합이 닫힌(또는 열린) 집합이 되므로 호모토피가 쉽게 적용되며, 고전 경우에도 적절한 조건 하에 동일한 결과를 얻는다.

상세 분석

이 논문은 모달 논리의 위상 의미론을 기반으로 “진리 보존 변환”이라는 새로운 관점을 제시한다. 전통적인 Kripke 모델은 이산적 구조에 머물러 위상적 특성을 충분히 활용하지 못한다는 비판을 받고, 저자는 보다 풍부한 구조를 제공하는 위상 모델을 선택한다. 위상공간 (S,τ) 혹은 (S,σ) 를 각각 열린 집합과 닫힌 집합의 체계로 정의하고, 연속함수와 개방함수, 그리고 전단사(홈오모르피즘)를 통해 모델 간의 변환을 기술한다. 특히, 모순논리(paraconsistent)와 불완전논리(paracomplete)에서는 명제 변수의 해석을 각각 닫힌 집합·열린 집합으로 제한함으로써 부정 연산의 복잡성을 회피한다. 이때, ‘∼’와 ‘˙∼’ 같은 새로운 부정 기호를 도입해 열린 보완과 닫힌 보완을 각각 표현한다.

핵심 정리는 두 모델 M과 M′이 홈오모르피즘 f에 의해 연결될 때, 모든 모달식 ϕ에 대해 M ⊨ ϕ ⇔ M′ ⊨ ϕ가 성립한다는 것이다. 연속성만으로는 한쪽 방향(⊨ ⇒ ⊨)만 보장되고, 개방성만으로는 반대 방향을 보장한다는 점을 명확히 구분한다. 이러한 결과는 기존의 동형사상(bisimulation)과는 달리 모델 자체의 구조적 차이를 정량화하고 비교할 수 있는 도구를 제공한다.

다음 단계로 호모토피(Homotopy)를 도입한다. 두 연속함수 f, f′ 사이에 연속적인 변형 H: S×