Weakly associative fuzzy logics
0
조회
0
다운로드
7
인용
0
참고문헌
키워드
초록
This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic WAtMUL and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for WAtMUL and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.
Abstract
This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic WAtMUL and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for WAtMUL and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.
참고문헌 (16)
- 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., "On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic", Studia Logica, 71, pp.393~420 (2002)
- Esteva, F., "Monoidal t-norm based logic : towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
- Gottwald, S., "A Treatise on Many-valued Logics" (2001), Research studies press LTD
- Jenei, S., "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp.183~192 (2002)
- Metcalfe, G., "Uninorm Based Logics", Proceedings of EUROFUSE, 2004, pp.85~99 (2004), Exit Press
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Yager, R. R., "Aggregation operators and fuzzy systems modeling", Fuzzy Sets and Systems, 67, pp.129~146 (1994)
- Yager, R. R., "On inference structures for fuzzy systems modeling", Proceedings of 3rd IEEE International Conference on Fuzzy Systems, pp.1252~1256 (1994)
- Yager, R. R., "Uninorm aggregation operators", Fuzzy Sets and Systems, 80, pp.111~120 (1996)
- 양은석, "Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics", 논리연구, 12(1), pp.89~110 (2009), 한국논리학회
- Yang, E., "Weakening-free, non-associative fuzzy logics : micanorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2015)