지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
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 / 1949 / On an Implication function in Many-valued Systems of Logic / The Journal of symbolic Logic 14 : 95 ~ 97
Dunn, J. M / 2001 / Algebraic Methods in Philosophical Logic / Oxford, Oxford Univ Press
Estiva, F / 2000 / Residuated fuzzy logics with an involutive logics / Archive for Mathematical Logic 39 : 103 ~ 124
Hajek, P / 1998 / Metamathematics of Fuzzy Logic / Amsterdam, Kluwer
Kleene, S. C / 1952 / Introduction to metamathematics / North- Holland, Amsterdam
Dunn, J. M / 2001 / Algebraic Methods in Philosophical Logic / Oxford, Oxford Univ Press
Estiva, F / 2000 / Residuated fuzzy logics with an involutive logics / Archive for Mathematical Logic 39 : 103 ~ 124
Hajek, P / 1998 / Metamathematics of Fuzzy Logic / Amsterdam, Kluwer
Kleene, S. C / 1952 / Introduction to metamathematics / North- Holland, Amsterdam
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Algebraic semantics for some weak Boolean logics
논리연구
2006 .01
-
Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic
논리연구
2005 .01
-
Algebraic Methods in Philosophical Logic
논리연구
2004 .01
-
Rule based Algebraic Query Optimization
한신논문집
1998 .11
-
Mianorm-based Logics with right and left n-potency axioms
논리연구
2020 .01
-
Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
논리연구
2014 .01
-
Algebraic Kripke-style semantics for weakening-free fuzzy logics
논리연구
2014 .01
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
(weak) R-mingle: toward a fuzzy-relevance logic
논리연구
2007 .01
-
R, fuzzy R, and Algebraic Kripke-style Semantics
논리연구
2012 .01
-
Weakly associative fuzzy logics
논리연구
2016 .01
-
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
논리연구
2018 .01
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
논리연구
2017 .01
-
Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
논리연구
2015 .01
-
Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
논리연구
2018 .01
-
An Axiomatic Extension of the Uninorm Logic Revisited
논리연구
2014 .01
-
Kripke-style Semantics for UL
논리연구
2012 .01
-
조오지 허버트의 『성전』: 갈등·완전·확신
영어영문학연구
2008 .01
-
Standard completeness results for some neighbors of R-mingle
논리연구
2008 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0