지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension wB-LC∀ and wB-sKD∀. We give algebraic completeness for each of them.
목차
등록된 정보가 없습니다.
참고문헌 (9)
참고문헌 신청
Baaz, M / 1996 / Infinite-valued G\“odel logics with 0-1-projections and relativizations (Lecture note in Logic 6: GOEDEL's 96 - Logical foundations of mathematics, computer science and
Dunn, J. M / 1971 / Algebraic Completeness Results for Dummett's LC and Its Extension / Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik 17 : 225 ~ 230
Dunn, J. M / 2001 / Algebraic Methods in Philosophical Logic / Oxford, Oxford Univ Press
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
Dunn, J. M / 1971 / Algebraic Completeness Results for Dummett's LC and Its Extension / Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik 17 : 225 ~ 230
Dunn, J. M / 2001 / Algebraic Methods in Philosophical Logic / Oxford, Oxford Univ Press
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 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Algebraic Methods in Philosophical Logic
논리연구
2004 .01
-
Algebraic completeness results for sKD and its Extensions
논리연구
2006 .01
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
논리연구
2014 .01
-
Algebraic Kripke-style semantics for weakening-free fuzzy logics
논리연구
2014 .01
-
Rule based Algebraic Query Optimization
한신논문집
1998 .11
-
General Semantics
코기토
1968 .12
-
R, fuzzy R, and Algebraic Kripke-style Semantics
논리연구
2012 .01
-
(weak) R-mingle: toward a fuzzy-relevance logic
논리연구
2007 .01
-
21세기 국어의미론 연구의 방향과 과제
언어과학연구
2004 .03
-
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
논리연구
2018 .01
-
On Semantics and Distribution of Any
언어
1998 .09
-
A Density Problem in Semantics
언어
2008 .06
-
Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
논리연구
2018 .01
-
의미연구에서 구조와 인지의 문제
인문언어
2009 .01
-
중국인 학습자를 위한 부사 ‘더’에 관한 연구
한민족문화연구
2019 .01
-
An Observation on the Semantics of the There-Construction
언어
1981 .06
-
The Semantics of Conditionals
Korea Journal
1992 .09
-
Kripke-style Semantics for UL
논리연구
2012 .01
-
Semantics of the Expanded Form in English
언어
1988 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0