Core Concepts
유한 논리 행렬을 유한 힐버트 스타일 다중 결론 시스템으로 유한하게 공리화할 수 있다는 일반적인 관찰에 기반하여, 저자들은 먼저 BK와 PWK에 대한 유한 다중 결론 힐버트 시스템을 소개하고, 이를 이용하여 이들 논리에 대한 유한 단일 결론 힐버트 시스템을 제시한다.
Abstract
이 논문은 약 클리니 논리(Bochvar-Kleene 논리와 Paraconsistent Weak Kleene 논리)에 대한 유한 힐버트 스타일 공리화 시스템을 제시한다.
서론:
클리니가 소개한 강 클리니 논리와 약 클리니 논리의 차이점은 약 클리니 논리에서 제3진리값(u)이 전염성을 가진다는 것이다.
BK와 PWK는 각각 고전 논리의 좌변 포함 동반자와 우변 포함 동반자로 알려져 있다.
이들 논리에 대한 유한 힐버트 스타일 공리화 시스템은 아직 알려져 있지 않다.
언어와 의미론:
시그니처 Σ = {∧, ∨, →, ¬}를 가진 명제 논리 언어 LΣ(P)를 정의한다.
진리값 집합 {f, u, t}를 가진 Σ-대수 Bu를 정의하고, 이를 이용해 BK와 PWK 논리의 의미론을 정의한다.
힐버트 스타일 공리화 시스템의 기초:
SET-SET 힐버트 시스템과 SET-FMLA 힐버트 시스템을 소개한다.
유한 논리 행렬은 {p, ¬p}-분석적인 유한 SET-SET 힐버트 시스템으로 공리화될 수 있음을 보인다.
PWK에 대한 유한 힐버트 시스템:
RPWK라는 유한 {p, ¬p}-분석적 SET-SET 힐버트 시스템을 제시하고, 이것이 ▷PWK를 공리화함을 보인다.
HPWK라는 유한 SET-FMLA 힐버트 시스템을 제시하고, 이것이 ⊢PWK를 공리화함을 보인다.
BK에 대한 유한 힐버트 시스템:
RBK라는 유한 {p, ¬p}-분석적 SET-SET 힐버트 시스템을 제시하고, 이것이 ▷BK를 공리화함을 보인다.
BK에 대해서는 (disj)나 (ded) 성질을 만족하는 이진 연결사를 정의할 수 없음을 보인다.
HBK라는 유한 SET-FMLA 힐버트 시스템을 제시하고, 이것이 ⊢BK를 공리화함을 보인다.
Stats
약 클리니 논리(PWK)와 보크바르-클리니 논리(BK)는 고전 논리의 각각 좌변 포함 동반자와 우변 포함 동반자이다.
유한 논리 행렬은 {p, ¬p}-분석적인 유한 SET-SET 힐버트 시스템으로 공리화될 수 있다.
BK 논리에 대해서는 (disj)나 (ded) 성질을 만족하는 이진 연결사를 정의할 수 없다.
Quotes
"약 클리니 논리(PWK)와 보크바르-클리니 논리(BK)는 각각 고전 논리의 좌변 포함 동반자와 우변 포함 동반자이다."
"유한 논리 행렬은 {p, ¬p}-분석적인 유한 SET-SET 힐버트 시스템으로 공리화될 수 있다."
"BK 논리에 대해서는 (disj)나 (ded) 성질을 만족하는 이진 연결사를 정의할 수 없다."