[논문 리뷰] Two representation theorems of three-valued structures by means of binary relations

Luisa Iturrioz|ArXiv.org|2007. 10. 04.

Advanced Algebra and Logic참고 문헌 5인용 수 3

한 줄 요약

이 논문은 이원관계 대수에 삽입함으로써 삼가oz치 구조로 알려진 T-구조에 대한 두 개의 표현 정리들을 제시한다. 스톤형 대칭 이론을 사용하여, 모든 T-구조가 대칭 관계와 집합의 부분집합에 대한 집합론적 연산을 통해 내부, 폐쇄, 부정과 같은 연산을 표현하는 관계적 T-구조와 동형임을 확립한다.

ABSTRACT

The results here presented are a continuation of the algebraic research line which attempts to find properties of multiple-valued systems based on a poset of two agents. The aim of this paper is to exhibit two relationships between some three-valued structures and binary relations. The established connections are so narrow that two representation theorems are obtained.

연구 동기 및 목표

• 이원관계를 사용하여 삼가oz치 구조(T-구조)를 표현함으로써 구체적인 대수적 실현을 제공한다.
• 분배 격자 이론의 대칭 이론을 T-구조로 확장하여, 보완(C), 내부(S₁), 폐쇄(S₂)와 같은 세 개의 단항 연산자를 포함한다.
• T-구조가 모든 연산과 항등식을 유지하는 관계 대수로 완전히 표현될 수 있음을 보여준다.
• 관계적 해석을 통해 T-구조와 날카운드 집합 이론 사이의 관계를 체계화한다.
• 집합 E와 대칭 관계 G를 사용하여 추상적 T-구조와 구체적 관계 모델 사이의 구성적 동형을 제공한다.

제안 방법

• 기초 분배 격자의 소수 필터(또는 소수 이상)의 스펙트럼을 사용하여 스톤형 표현을 구성한다.
• f(a)가 a를 포함하는 소수 필터의 집합일 때, h: A → G ∩ (f(A) × E)로 정의된 사상 정의
• 단항 연산 S₁, S₂, C를 관계 연산을 통해 표현: S₁(a) = h(a) ∩ h(a)⁻¹, S₂(a) = h(a) ∪ h(a)⁻¹, C(a) = 멱집합 내의 여집합
• 필터의 성질과 결정 원리에 기반하여 사상 h가 모든 연산(교차, 합, S₁, S₂, C)을 유지함을 증명한다.
• h의 상이 원래 대수와 동형인 관계적 T-구조를 형성하며, 모든 공리(T1)–(T7)를 만족함을 검증한다.
• S₂(a) = f(a) ∪ g(f(a)) 및 S₁(a) = f(a) ∩ g(f(a))로 표현되며, 여기서 g는 대칭 관계 G와 관련된 치환이다.

실험 결과

연구 질문

• RQ1 모든 T-구조가 모든 연산을 유지하는 이원관계의 관계 대수로 표현될 수 있는가?
• RQ2 T-구조의 세 개의 단항 연산 S₁, S₂, C는 집합 위의 관계를 통해 어떻게 구체적으로 해석될 수 있는가?
• RQ3 내부 및 폐쇄 연산자를 삼가oz치 논리에서 모델링하는 데 있어 대칭 관계와 그 역관계의 역할은 무엇인가?
• RQ4 T-구조의 공리(T1)–(T7)는 표현에서 어떤 정도 관계 집합 연산과 대응되는가?
• RQ5 비함수적 완전성의 맥락에서, 특히 날카운드 집합 이론과 직관 논리의 맥락에서 T-구조로 확장된 스톤형 대칭 이론이 존재하는가?

주요 결과

• 모든 T-구조는 대칭 관계 G를 갖는 집합 E의 부분집합으로 구성된 관계적 T-구조와 동형이다.
• 표현 사상 h는 모든 연산을 유지한다: h(a ∧ b) = h(a) ∩ h(b), h(a ∨ b) = h(a) ∪ h(b), h(S₁a) = S₁h(a), h(S₂a) = S₂h(a), h(Ca) = Ch(a).
• 연산 S₂는 관계와 그 역관계의 합집합으로 표현되며, 즉 S₂(R) = R ∪ R⁻¹이고, S₁(R) = R ∩ R⁻¹이다.
• 표현의 상은 관계 연산에 대해 닫혀 있으며, 원래 T-구조와 동형인 부분대수를 이룬다.
• 표현은 충실하고 단사적이며, 결정 원리(T6)에 기반한다. 이는 상에서의 등식이 원래 대수에서의 등식을 의미함을 보장한다.
• 관계 모델은 모든 공리(T1)–(T7)를 만족하며, 특히 S₁a ∨ Ca = 1 및 S₁a ∧ Ca = 0와 같은 핵심 항등식이 관계 여집합과 교차를 통해 유지된다.