지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei—Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.
목차
등록된 정보가 없습니다.
참고문헌 (19)
참고문헌 신청
Baldi, P / 2014 / “A note on standard completeness for some extensions of uninorm logic / ”, Soft Computing 18:1463~1470
Ciabattoni, A / 2002 / T-norm based logics with n-contraction / Neural Network World 12:441~453
Cintula, P / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic 45:673~704
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 Logic / Springer
Ciabattoni, A / 2002 / T-norm based logics with n-contraction / Neural Network World 12:441~453
Cintula, P / 2006 / Weakly Implicative (Fuzzy) Logics I: Basic properties / Archive for Mathematical Logic 45:673~704
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 Logic / Springer
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Involutive extensions of fixpointed mianorm-based logics
논리연구
2021 .01
-
Involutive Micanorm Logics with the n-potency axiom
논리연구
2017 .06
-
Some axiomatic extensions of the involutive mianorm Logic IMIAL
논리연구
2017 .01
-
Fixed-pointed Involutive Micanorm-based Logics
논리연구
2022 .06
-
Two axiomatic extensions of the involutive mianorm Logic IMIAL: IDIMIAL, FIDMIAL
철학사상
2018 .02
-
Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
논리연구
2015 .01
-
Micanorm-Based Logics with Fixed-Point
논리연구
2021 .10
-
Weakly associative fuzzy logics
논리연구
2016 .01
-
Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL
논리연구
2020 .01
-
Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
논리연구
2021 .01
-
ItUML and Esteva-Godo-style standard completeness
철학사상
2023 .08
-
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
-
Involutive Weak u-associative Fuzzy Logic WAuIBUL
철학사상
2024 .05
-
Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
논리연구
2023 .02
-
가다머의 공통감각(common sense)과 유클리드의 공통개념(common notion)에 대한 비교 분석
동서철학연구
2019 .01
-
(Non-)symmetrical Derivation of [IO-DO-V] Word Order DOC Type: German and Korean
언어과학
2023 .02
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
Involutive Idempotent Uninorm Logics and Pretabularity
논리연구
2019 .01
-
Set-theoretic Routley-Meyer-style Semantics for the Involutive Monoidal T-norm Logic IMTL
철학사상
2020 .11
-
Fuzzy R Systems and Algebraic Routley-Meyer Semantics
논리연구
2022 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0