논리연구 (Korean Journal of Logic)
- 제18권1호
- /
- Pages.65-83
- /
- 2015
- /
- 1598-7493(pISSN)
3치 초일관 논리를 위한 집합-이론적 크립키형 의미론
Set-theoretical Kripke-style semantics for three-valued paraconsistent logic
- 양은석 (전북대학교 철학과, 비판적사고와논술연구소)
- Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
- 투고 : 2014.10.14
- 심사 : 2015.01.12
- 발행 : 2015.02.28
초록
이 글에서 우리는 3치 초일관 논리를 위한 비대수적 집합-이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개한다. 그리고 그 다음에 이에 상응하는 집합-이론적 크립키형 의미론을 소개한다.
This paper deals with non-algebraic Kripke-style semantics for three-valued paraconsistent logic: set-theoretical Kripke-style semantics. We first recall two three-valued paraconsistent systems. We next introduce set-theoretical Kripke-style semantics for them.
키워드