Korean Journal of Logic (논리연구)
- Volume 17 Issue 3
- /
- Pages.441-461
- /
- 2014
- /
- 1598-7493(pISSN)
Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
3치 초일관 논리를 위한 대수적 크립키형 의미론
- Yang, Eunsuk (Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University)
- 양은석 (전북대학교 철학과, 비판적사고와논술연구소)
- Received : 2014.08.04
- Accepted : 2014.09.30
- Published : 2014.10.30
Abstract
This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.
이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.
Keywords