Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL

다국어 초록 (Multilingual Abstract)

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

참고문헌 (Reference)

1 Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties" 45 : 673-704, 2006

2 Yang, E., "Weakening-free, non-associative fuzzy logics: Micanorm-based logics" 276 : 43-58, 2015

3 Metcalfe, G., "Substructural Fuzzy Logics" 72 : 834-864, 2007

4 Esteva, F., "On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic" 71 : 393-420, 2002

5 양은석, "On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic" 한국논리학회 12 (12): 115-139, 2009

6 Cintula, P., "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties" 12 : 394-423, 2013

7 Hájek, P., "Metamathematics of Fuzzy Logic" Kluwer 1998

8 Cintula, P., "Mathematical Fuzzy Logic" Springer 245-290, 2015

9 양은석, "MTL의 표준 완전성" 한국논리학회 16 (16): 437-452, 2013

10 Cintula, P., "Handbook of Mathematical Fuzzy Logic, vol 1" College publications 103-207, 2011

11 Horĉík, R., "Handbook of Mathematical Fuzzy Logic, vol 1" College publications 283-353, 2011

12 양은석, "An Axiomatic Extension of the Uninorm Logic Revisited" 한국논리학회 17 (17): 323-348, 2014

13 Jenei, S., "A Proof of Standard completeness for Esteva and Godo's Logic MTL" 70 : 183-192, 2002