지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.
목차
등록된 정보가 없습니다.
참고문헌 (12)
참고문헌 신청
Cintula, P. / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic
Esteva, F. / 2000 / Residuated fuzzy logics with an involutive logics / Archive for Mathematical Logic 39 : 103 ~ 124
Esteva, F. / 2001 / Monoidal t-norm based logic: towards a logic for left-continous t-norms / Fuzzy Sets and Systems 124 : 271 ~ 288
Gottwald, S. / 2001 / A Treatise on Many-valued Logics / Research studies press LTD
H?ek, P. / 1998 / Metamathematics of Fuzzy Logic / Kluwer
Esteva, F. / 2000 / Residuated fuzzy logics with an involutive logics / Archive for Mathematical Logic 39 : 103 ~ 124
Esteva, F. / 2001 / Monoidal t-norm based logic: towards a logic for left-continous t-norms / Fuzzy Sets and Systems 124 : 271 ~ 288
Gottwald, S. / 2001 / A Treatise on Many-valued Logics / Research studies press LTD
H?ek, P. / 1998 / Metamathematics of Fuzzy Logic / Kluwer
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A new proof of standard completeness for the uninorm logic UL
논리연구
2010 .01
-
Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics
논리연구
2009 .01
-
(weak) R-mingle: toward a fuzzy-relevance logic
논리연구
2007 .01
-
Standard Completeness for the Weak Uninorm Mingle Logic WUML
논리연구
2011 .01
-
Uninorm logic: toward a fuzzy-relevance logic(2)
논리연구
2008 .01
-
Weakly associative fuzzy logics
논리연구
2016 .01
-
MTL의 표준 완전성
논리연구
2013 .01
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
논리연구
2017 .01
-
Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
논리연구
2015 .01
-
An Axiomatic Extension of the Uninorm Logic Revisited
논리연구
2014 .01
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
Mianorm-based Logics with right and left n-potency axioms
논리연구
2020 .01
-
Algebraic Kripke-style semantics for weakening-free fuzzy logics
논리연구
2014 .01
-
Two axiomatic extensions of the involutive mianorm Logic IMIAL: IDIMIAL, FIDMIAL
철학사상
2018 .02
-
논리적 분석이 안 닿는 곳
철학과 현실
1999 .12
-
二次 論理學의 完全性과 不完全性
철학
1992 .05
-
사고실험의 논리
철학
1999 .02
-
Involutive Idempotent Uninorm Logics and Pretabularity
논리연구
2019 .01
-
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
-
조오지 허버트의 『성전』: 갈등·완전·확신
영어영문학연구
2008 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0