논문KCI 등재
Fixed-pointed Involutive Micanorm-based Logics
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of fixed-pointed involutive micanorms, we provide standard completeness results for those logics.
Abstract
This paper considers standard completeness for fixed-pointed involutive micanorm-based logics. For this, we first discuss fixed-pointed involutive micanorm-based logics together with their algebraic semantics. Next, after introducing some examples of fixed-pointed involutive micanorms, we provide standard completeness results for those logics.
참고문헌 (21)
- Ciabattoni, A., "T-norm based logics with n-contraction", Neural Network World, 12, pp.441~453 (2002)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
- Cintula, P., "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Review of Symbol. Logic, 12, pp.394~423 (2013)
- Cintula, P., "Mathematical Fuzzy Logic" (2015), Springer
- Cintula, P, "Handbook of Mathematical Fuzzy Logic, vol 1", pp.103~207 (2011), College publications
- Esteva. F, "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", 124, pp.271~288 (2001)
- Galatos, N., "Residuated lattices: an algebraic glimpse at substructurallogics" (2007), Elsevier
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Horĉík, R., "Handbook of Mathematical Fuzzy Logic, vol 1", pp.283~353 (2011), College publications
- Jenei, S, "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp.183~192 (2002)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Wang, S., "Uninorm logic with the n-potency axiom", Fuzzy Sets and Systems, 205, pp.116~126 (2012)
- Yang, E., "Weakening-free, non-associative fuzzy logics: Micanorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2015)
- Yang, E., "Basic substructural core fuzzy logics and their extensions: mianorm-based logics", Fuzzy Sets and Systems, 301, pp.1~18 (2016)
- Yang, E., "Involutive basic substructural core fuzzy logics: Involutive mianorm-based logic", Fuzzy Sets and Systems, 320, pp.1~16 (2017)
- 양은석, "Some axiomatic extensions of the involutive mianorm Logic IMIAL", 논리연구, 20(3), pp.313~333 (2017), 한국논리학회[DOI]
- Yang, E., "Mianorm-based logics with n-contraction and n-mingle axioms", Journal of Intelligent and Fuzzy systems (2019)
- 양은석, "Mianorm-based Logics with right and left n-potency axioms", 논리연구, 23(1), pp.1~23 (2020), 한국논리학회[DOI]
- 양은석, "Fixpointed Mianorm-Based Logics", 한국지능시스템학회 논문지, 30(5), pp.360~365 (2020), 한국지능시스템학회[DOI]
- 양은석, "Involutive extensions of fixpointed mianorm-based logics", 논리연구, 24(1), pp.31~52 (2021), 한국논리학회
- 양은석, "Micanorm-Based Logics with Fixed-Point", 논리연구, 24(3), pp.281~297 (2021), 한국논리학회
관련 논문AI추천
Micanorm-Based Logics with Fixed-Point양은석한국논리학회 · 논리연구2021 · 제24권 제3호Involutive Micanorm Logics with the n-potency axiom양은석한국논리학회 · 논리연구2017 · 제20권 제2호Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL양은석한국논리학회 · 논리연구2015 · 제18권 제2호Involutive extensions of fixpointed mianorm-based logics양은석한국논리학회 · 논리연구2021 · 제24권 제1호Mianorm-based Logics with right and left n-potency axioms양은석한국논리학회 · 논리연구2020 · 제23권 제1호Some axiomatic extensions of the involutive mianorm Logic IMIAL양은석한국논리학회 · 논리연구2017 · 제20권 제3호