GLP 논리의 위상 완전성
본 논문은 provability logic GLP의 Kripke 의미론적 불완전성을 극복하고, 모달 연산자를 파생 연산자로 해석하는 다중위상(polytopological) 공간인 GLP‑space를 도입한다. 새로운 위상적 구성법을 통해 비자명한 GLP‑space를 만들고, 모든 GLP‑space의 클래스에 대해 GLP가 완전함을 증명한다.
저자: Lev D. Beklemishev, David Gabelaia
본 논문은 provability logic GLP가 Kripke 의미론에 대해 완전하지 않다는 오래된 문제를 해결하고자, 모달 연산자를 파생 연산자로 해석하는 다중위상(polytopological) 구조인 GLP‑space를 제안한다. 먼저 GLP의 언어와 공리계(부울 공리, 모달 분배, Löb 공리, 모달 간 포함 공리, 그리고 \(\langle m\rangle\varphi\to
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기