다중값 논리를 이진 모달 논리로의 축소

초록

이 논문에서는 다중값 논리를 2가지 값의 다중 모달 논리로 축소하는 방법을 개발합니다. 이러한 접근 방식은 고차 허브란트 해석 유형을 도입하여 다중값 논리를 맥락화하는 것을 기반으로 합니다. 여기서 원래 다중값 논리의 대수적 진리 값 집합이 매개변수(또는 가능한 세계)로 변환되고, 2가지 논리 값 집합이 명시적으로 도입됩니다.

상세 요약

이 논문은 다중값 논리를 이진 모달 논리로 축소하는 방법을 제시합니다. 특히, 고차 허브란트 해석 유형을 사용하여 원래의 다중값 논리에 맥락을 부여하고, 이를 가능 세계로 변환한 후 2가지 값의 논리로 표현하는 방식입니다. 이러한 접근법은 주석 첨부 논리와 유사하지만, 허브란트 해석 기반의 표준 의미론을 사용할 수 있는 장점을 제공합니다.

논문에서 제시된 방법은 Kripke 의미론에 근거하고 있으며, 이는 가능 세계를 원래 다중값 논리의 대수적 진리 값으로 간주합니다. 이러한 자가 참조적인 Kripke 의미론을 통해 고차 허브란트 해석이 일반적인 2가지 값의 허브란트 해석으로 평탄화될 수 있습니다. 이는 다중값 논리와 이진 모달 논리 간의 관계를 더 명확하게 이해할 수 있게 합니다.

논문은 이러한 방법론을 다중값 논리 프로그램에 적용하고, 원래 다중값 논리의 논리 구조(논리 연산자)를 기반으로 축소를 수행합니다. 또한 Suszko의 비구성적인 비정형적 아이디어를 바탕으로 일반적인 구조화된 다중값 논리에 대한 일반화된 축소 방법을 제시합니다.

이러한 2가지 값의 축소를 통해, 원래 다중값 논리식에 특정 모달 연산자를 적용하여 얻어진 이진 공식들이 모달 문장으로 표현되는 비 진리값 모달 메타논리를 얻을 수 있습니다. 이러한 접근법은 다중값 논리와 이진 모달 논리 간의 관계를 이해하는 데 중요한 통찰력을 제공하며, 다양한 논리적 구조에 적용할 수 있는 유연성을 보여줍니다.