개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
Standard completeness for fixed-pointed mianorm-based logics were recently introduced by Yang. Here, we extend it to logics with commutativity, i.e., fixed-pointed micanorm-based logics. More precisely, some fixed-pointed micanorm-based logics and their algebraic semantics are first discussed. Next, several examples of fixed-pointed micanorms are introduced. Standard completeness results are finally provided for those logics.
목차
등록된 정보가 없습니다.
참고문헌 (13)
참고문헌 신청
Baldi, P. / 2014 / A note on standard completeness for some extensions of uninorm logic / Soft Computing 18:1463~1470
Baldi, P / 2015 / Standard completeness for uninorm-based logics / IEEE International Symposium on Multiple-Valued Logic, IEEE :78~83
Běhounek, L. / 2006 / Fuzzy logics as the logics of chains / Fuzzy Sets and Systems 157:604~610
Cintula, P. / 2013 / Non-associative substructural logics and their semilinear extensions : axiomatization and completeness properties / Review of Symbol. Logic 12:394~423
Cintula, P. / 2015 / Mathematical Fuzzy Logip / Springer
Baldi, P / 2015 / Standard completeness for uninorm-based logics / IEEE International Symposium on Multiple-Valued Logic, IEEE :78~83
Běhounek, L. / 2006 / Fuzzy logics as the logics of chains / Fuzzy Sets and Systems 157:604~610
Cintula, P. / 2013 / Non-associative substructural logics and their semilinear extensions : axiomatization and completeness properties / Review of Symbol. Logic 12:394~423
Cintula, P. / 2015 / Mathematical Fuzzy Logip / Springer
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Fixed-pointed Involutive Micanorm-based Logics
논리연구
2022 .06
-
Involutive Micanorm Logics with the n-potency axiom
논리연구
2017 .06
-
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
-
Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL
논리연구
2020 .01
-
Mianorm-based Logics with right and left n-potency axioms
논리연구
2020 .01
-
Involutive extensions of fixpointed mianorm-based logics
논리연구
2021 .01
-
근대 渡滿 일본인의 中國人像 : 제국의식의 투영
중국근현대사연구
2017 .06
-
편하설(C.F. Berheisel)의 『論理略解』연구:근대전환공간의 최초의 한글 논리학 교과서
현대유럽철학연구
2021 .01
-
高等院校社会学教育中的国家在场 ——基于1900年以来中国高校社会学教育发展历程的分析
중국학
2024 .09
-
Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
논리연구
2015 .01
-
Implicational Partial Gaggle Logics and Matrix Semantics
논리연구
2023 .06
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
논리연구
2017 .01
-
Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
논리연구
2021 .01
-
서양과 동양의 차이 : 동일성의 논리와 동일성과 차이의 논리를 중심으로
신학과세계
2016 .03
-
Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
논리연구
2023 .02
-
“I Want, Therefore It Must Be” : Treating Fascistic Inferences in Logic-Based Therapy
Journal of Humanities Therapy
2015 .06
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
헤겔 ‘논리학’에 대한 형이상학적 혹은 비-형이상학적 해석의 문제
헤겔연구
2018 .01
-
‘새로운 제국주의’와 자본주의 : D. 하비의 역사적․지리적 유물론
한국민족문화
2017 .08
-
‘이념의 자연으로의 외화’를 통해 고찰한 자연철학의 의미
동서철학연구
2018 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0