Involutive extensions of fixpointed mianorm-based logics
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
Yang recently investigated standard completeness for fixpointed mianorm-based logics. This paper extends these logics to involutive ones. More exactly, first involutive fixpointed mianorm-based logics and their algebraic semantics are introduced. Next, some examples of involutive fixpointed mianorms are considered. Finally, standard completeness for the systems are provided.
Abstract
Yang recently investigated standard completeness for fixpointed mianorm-based logics. This paper extends these logics to involutive ones. More exactly, first involutive fixpointed mianorm-based logics and their algebraic semantics are introduced. Next, some examples of involutive fixpointed mianorms are considered. Finally, standard completeness for the systems are provided.
참고문헌 (19)
- 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., "A general framework for mathematical fuzzy logic, 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 substructural logics" (2007), Elsevier
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Horĉík, R., "Algebraic semantics: semilinear FL-algebras, 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), 한국지능시스템학회