지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
This paper first investigates several uninorm logics (introduced by Metcalfe and Montagna in [8]) as fuzzy-relevance logics. We first show that the uninorm logic UL and its extensions IUL, UML, and IUML are fuzzy-relevant; fuzzy in Cintula´s sense, i.e., the logic L is complete with respect to linearly ordered L-matrices; and relevant in the weak sense that φ→ψ is a theorem only if either (i) φ and ψ share a sentential variable or constant, or (ii) both ∼φ and ψ are theorems. We next expand these systems to those with △.
목차
등록된 정보가 없습니다.
참고문헌 (10)
참고문헌 신청
Anderson, A. R. / 1962 / The pure calculus of entailment / The Journal of symbolic Logic 27 : 19 ~ 52
Cintula, P / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic
Dunn, J. M / 1970 / Algebraic Completeness for R-Mingle and Its Extension / Journal of symbolic Logic 35 : 1 ~ 13
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
Cintula, P / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic
Dunn, J. M / 1970 / Algebraic Completeness for R-Mingle and Its Extension / Journal of symbolic Logic 35 : 1 ~ 13
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
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A new proof of standard completeness for the uninorm logic UL
논리연구
2010 .01
-
An Axiomatic Extension of the Uninorm Logic Revisited
논리연구
2014 .01
-
Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics
논리연구
2009 .01
-
Standard completeness results for some neighbors of R-mingle
논리연구
2008 .01
-
Korean Complex Noun and Argument Structure in Categorial Grammar
새한영어영문학
2006 .05
-
Standard Completeness for the Weak Uninorm Mingle Logic WUML
논리연구
2011 .01
-
Weakly associative fuzzy logics
논리연구
2016 .01
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
(weak) R-mingle: toward a fuzzy-relevance logic
논리연구
2007 .01
-
사고실험의 논리
철학
1999 .02
-
퍼지논리와 불교의 인명론리
한신논문집
1994 .11
-
Algebraic Kripke-style semantics for weakening-free fuzzy logics
논리연구
2014 .01
-
천국천사들의 수학
철학연구
2013 .12
-
문법으로서의 논리 ― 비트겐슈타인의 논리관 ―
논리연구
2008 .01
-
논리적 분석이 안 닿는 곳
철학과 현실
1999 .12
-
Kripke-style Semantics for UL
논리연구
2012 .01
-
논리 형식과 듀이의 탐구 이론
철학탐구
2011 .05
-
법·명령·논리
철학연구
1967 .12
-
The Logic of the Korean Language
Korea Journal
1971 .02
-
MTL의 표준 완전성
논리연구
2013 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0