This paper investigates standard completeness for substructural fuzzy logics based on mianorms with n-contraction and n-mingle axioms. For this, first, right and left n-contractive and n-mingle logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang’s construction in the style of Jenei–Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.
BaldiP., A note on standard completeness for some extensions of uninorm logic, Soft Computing18 (2014), 1463–1470.
2.
BianchiM., MontagnaF., n-Contractive BL-Logics, Archive for Mathematical Logic50 (2011), 257–285.
3.
CiabattoniA., EstevaF., GodoL., T-norm based logics with n-contraction, Neural Network World12 (2002), 441–453.
4.
CignoliR., EstevaF., GodoL., TorrensA., Basic fuzzy logic of continuous t-norms and their residua, Soft Computing4 (2000), 106–112.
5.
CintulaP., HorčĺkR. and NogueraC., Non-associative substructural logics and their semilinear extensions: Axiomatization and completeness properties, Review of Symbolic Logic6 (2013), 394–423.
6.
CintulaP., HorčĺkR. and NogueraC., The quest for the fuzzy logic, Injek on Mathematical Fuzzy Logic, In Petr Hájek on Mathematical Fuzzy Logic, MontagnaF., ed., Dordrecht, Springer, 2015, pp. 245–290basic.
7.
CintulaP., NogueraC., Implicational (semiliear) logics I: A new hierarchy, Archive for Mathematical Logic49 (2010), 417–446.
8.
CintulaP., NogueraC., A general framework for mathematical fuzzy logic, In Handbook of Mathematical Fuzzy Logic, vol 1, CintulaP., HájekP. and NogueraC., eds, London, College Publications, 2011, pp. 103–207.
9.
EstevaF., GodoL., Monoidal t-norm based logic: Towards a logic for left-continuous t-norms, Fuzzy Sets and Systems124 (2001), 271–288.
10.
EstevaF., GispertL., GodoL., MontagnaF., On the standard and rational completeness of some axiomatic extensions of the monoidal tnorm logic, Studia Logica71 (2002), 393–420.
11.
FlaminioT., GodoL., A study for reasoning about the probability of fuzzy events, Fuzzy Sets and Systems158 (2007), 625–638.
12.
HoriR., OnoH., SchellinxH., Extending intuitionistic linear logic with knotted structural rules, Studia Logica35 (1994), 219–242.
13.
GalatosN., JipsenP., KowalskiT., OnoH., Residuated lattices: An algebraic glimpse at substructural logics, Amsterdam, Elsevier, 2007.
14.
GalatosN., OnoH., Non-associative substructural logics: Algebraization, cut elimination and separation, In Conference on Residuated Structures and Many-Valued Logics, Patras University, Greece, 2004.
15.
GalatosN., OnoH., Cut elimination and strong separation for substructural logics, Annals of Pure and Applied Logic161 (2010), 1097–1133.
16.
GottwaldS., A Treatise on Many-valued Logics, Baldock, Research studies press LTD, 2001.
17.
HájekP., Metamathematics of Fuzzy Logic, Amsterdam, Kluwer, 1998.
18.
HorčĺkR., Algebraic semantics: Semilinear FL-algebras, In Handbook of Mathematical Fuzzy Logic, vol 1, CintulaP., HájekP. and NogueraC., eds, London, College Publications, 2011, pp. 283–353.
19.
HorčĺkR., NogueraC. and PetríkM., On n-contractive fuzzy logics, Mathematical Logic Quarterly53 (2007), 268–288.
20.
JeneiS., MontagnaF., A Proof of Standard completeness for Esteva and Godo’s Logic MTL, Studia Logica70 (2002), 183–192.
21.
LiuL.Z., ZhangX.Y., States on finite linearly ordered IMTL-algebras, Soft Computing15 (2011), 2012–2028.
22.
MetcalfeG., MontagnaF., Substructural fuzzy logics, The Journal of Symbolic Logic72 (2007), 834–864.
23.
MundiciD., Averaging the truth-value in Lukasiewicz sentential logic, Studia Logica55 (1995), 113–127.
24.
WangS., Uninorm logic with the n-potency axiom, Fuzzy Sets and Systems205 (2012), 116–126.
25.
WangS., Involutive uninorm logic with the n-potency axiom, Fuzzy Sets and Systems218 (2013), 1–23.
26.
WangS., Logics for residuated pseudo-uninorms and their residua, Fuzzy Sets and Systems218 (2013), 24–31.
YangE., Implicational tonoid fuzzy logics, In Frontiers in Artificial Intelligence and Applications: Fuzzy Systems and Data Mining IV, vol 309, Tallón-BallesterosA.J. and LiK., eds., Amsterdam, IOS press, 2018, pp. 223–230.
35.
ZadehL.A., Fuzzy logic and approximate reasoning, Synthese30 (1975), 407–428.
36.
ZadehL.A., Preface, In Fuzzy Logic Technology and Applications, II MarksR.J., eds., Piscataway, IEEE, 1994.
37.
ZhaoB., HeP., On non-commutative residuated lattices with internal states, IEEE Transactions on Fuzzy Systems26 (2018), 13877–1400.
