Korean Journal of Logic (논리연구)
- Volume 16 Issue 3
- /
- Pages.437-452
- /
- 2013
- /
- 1598-7493(pISSN)
Standard Completeness for MTL
MTL의 표준 완전성
- Yang, Eunsuk (Department of Philosophy & Records Management, Chonbuk National University)
- 양은석 (전북대학교 철학과, 기록관리학과)
- Received : 2013.04.28
- Accepted : 2013.08.17
- Published : 2013.10.30
Abstract
This paper verifies the following two: First, I verify the standard completeness proof for the system
이 논문에서 우리는 다음의 두 가지를 보인다. 첫째로 양은석(2009)에서 소개된 체계