Involutive Micanorm Logics with the n-potency axiom
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics PnIMICAL and FPnIMICAL are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for FPnIMICAL using construction in the style of Jenei-Montagna.
Abstract
In this paper, we deal with some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, the two involutive micanorm-based logics PnIMICAL and FPnIMICAL are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for FPnIMICAL using construction in the style of Jenei-Montagna.
참고문헌 (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., "On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic", Studia Logica, 71, pp.393~420 (2002)
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Horĉík, R., "Algebraic semantics: semilinear FL-algebras, Handbook of Mathematical Fuzzy Logic, 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)
- Kowalski, T., "Semisimplicity, EDPC and discriminator varieties of residuated lattices", Studia Logica, 77, pp.255~265 (2004)
- 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)
- Wang, S., "Involutive uninorm logic with the n-potency axiom", Fuzzy Sets and Systems, 218, pp.1~23 (2013)
- Wang, S., "Density elimination for semilinear substructural logics" (2015), Submitted
- 양은석, "On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic", 논리연구, 12(2), pp.115~139 (2009), 한국논리학회
- 양은석, "MTL의 표준 완전성", 논리연구, 16(3), pp.437~452 (2013), 한국논리학회
- 양은석, "An Axiomatic Extension of the Uninorm Logic Revisited", 논리연구, 17(2), pp.323~348 (2014), 한국논리학회
- Yang, E., "Weakening-free, non-associative fuzzy logics:Micanorm-based logics", Fuzzy Sets and Systems, 276, pp.43~58 (2015)
- Yang, E., "An Axiomatic Extension of the involutive micanorm logic Revisited", Korean Journal of Logic, 19(2), pp.197~215 (2015)