논문KCI 등재
Algebraic completeness results for sKD and its Extensions
"Algebraic completeness results for sKD and its Extensions"
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류철학
초록
Abstract
This paper investigates algebraic semantics for sKD and its extensions sKD△, sKD∀, and sKD∀△: sKD is a variant of the infinite -valued Kleene-Diense logic KD; sKD△ is the sKD with the Baaz's projection △; and sKD∀ and sKD∀△ are the first order extensions of sKD and sKD△, respectively. I first provide algebraic completeness for each of sKD and sKD△. Next I show that each sKD∀ and sKD∀△ is algebraically complete..
참고문헌 (9)
- Dienes, Z. P, "On an Implication function in Many-valued Systems of Logic", The Journal of symbolic Logic, 14, pp.95~97 (1949)
- Dunn, J. M, "Algebraic Methods in Philosophical Logic" (2001), Oxford, Oxford Univ Press
- Estiva, F, "Residuated fuzzy logics with an involutive logics", Archive for Mathematical Logic, 39, pp.103~124 (2000)
- Hájek, P, "Metamathematics of Fuzzy Logic" (1998), Amsterdam, Kluwer
- Kleene, S. C, "Introduction to metamathematics" (1952), North- Holland, Amsterdam
- Rescher, N, "Many-valued Logic" (1969), New York, McGraw-Hill
- Yang, E, "Routley-Meyer semantics for some weak Boolean logics, and some Translations", Logic Journal of the IGPL, 12, pp.355~369 (2004)
- Yang, E, "Many-valued semantics for some weak Boolean Logics" (2004), 2004 logic summer conference in Korea
- Yang, E, "Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic", This journal, 8(2), pp.85~107 (2005)
관련 논문AI추천
Algebraic semantics for some weak Boolean logics양은석한국논리학회 · 논리연구2006 · 제9권 제2호Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic양은석한국논리학회 · 논리연구2005 · 제8권 제2호R, fuzzy R, and Algebraic Kripke-style Semantics양은석한국논리학회 · 논리연구2012 · 제15권 제2호Kripke-style Semantics for UL양은석한국논리학회 · 논리연구2012 · 제15권 제1호RMt, Pretabularity, and Kripke-Style Semantics양은석한국논리학회 · 논리연구2022 · 제25권 제1호Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic양은석한국논리학회 · 논리연구2014 · 제17권 제3호