Document Type : Research Paper
Author
Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University, Rm 417, Colleges of Humanities & Social Science Blvd., Jeonju, 561-756, KOREA
Abstract
Micanorm-based logics with a weak form of associativity are introduced and their completeness results are addressed. More concretely, first the basic wa$_{t}$-uninorm logic \textbf{WA$_{\textbf{t}}$BUL} and its axiomatic extensions are introduced as $[0, t]$-continuous wa$_{t}$-uninorm analogues of the logics based the $[0, 1)$-continuous uninorms. Next algebraic structures characterizing the logics are introduced along with algebraic completeness results. Third, wa$_{t}$-uninorms are introduced as uninorms with weak $t$-associativity instead of associativity and associated properties are discussed. Finally, by virtue of Yang--style construction, it is verified that the logics based on wa$_{t}$-uninorms are complete on unit real interval $[0, 1]$, i.e., so called \emph{standard} complete.
Keywords
Main Subjects
[1] A. A. Adrian, Power-associative rings, Transactions of the American Mathematical Society, 64 (1948), 552-593.
[2] M. Christos, C. Tsitouras, Enumeration of Rosenberg type hypercompositional structures defined by binary relations,
Italian Journal of Pure and Applied Mathematics, 28 (2011), 43-54. https://doi.org/10.1016/j.ejc.2012.03.
032
Italian Journal of Pure and Applied Mathematics, 28 (2011), 43-54. https://doi.org/10.1016/j.ejc.2012.03.
032
[3] J. Chvalina, ˇS. Hoˇskov´a-Mayerov´a, On certain proximities and preorderings on the transposition hypergroups of
linear first-order patial differential operators, Analele Stiintifice ale Universitatii Ovidius Constanta, 22 (2014),
85-103. https://doi.org/10.2478/auom-2014-0008
linear first-order patial differential operators, Analele Stiintifice ale Universitatii Ovidius Constanta, 22 (2014),
85-103. https://doi.org/10.2478/auom-2014-0008
[4] P. Cintula, R. Horˇc´ık, C. Noguera, Non-associative substructural logics and their semilinear extensions: Axiomatization
and completeness properties, Review of Symbolic Logic, 6 (2013), 394-423. https://doi.org/10.1017/
S1755020300000000
and completeness properties, Review of Symbolic Logic, 6 (2013), 394-423. https://doi.org/10.1017/
S1755020300000000
[5] P. Cintula, R. Horˇc´ık, C. Noguera, The quest for the basic fuzzy logic, in Petr H´ajek on Mathematical Fuzzy Logic,
F. Montagna, (ed), Springer, Dordrecht (2015), 245-290. https://doi.org/10.1007/978-3-319-06233-4_12
F. Montagna, (ed), Springer, Dordrecht (2015), 245-290. https://doi.org/10.1007/978-3-319-06233-4_12
[6] P. Cintula, C. Noguera, A general framework for mathematical fuzzy logic, in Handbook of Mathematical Fuzzy
Logic, Vol. 1, P. Cintula, R. Horˇc´ık, C. Noguera (eds.), College Publications, London, (2011), 103-207.
Logic, Vol. 1, P. Cintula, R. Horˇc´ık, C. Noguera (eds.), College Publications, London, (2011), 103-207.
[7] F. Esteva, L. Gispert, L. Godo, F. Montagna, On the standard and rational completeness of some axiomatic
extensions of the monoidal t-norm logic, Studia Logica, 71 (2002), 393-420. https://doi.org/10.1023/A:
1016548805869
extensions of the monoidal t-norm logic, Studia Logica, 71 (2002), 393-420. https://doi.org/10.1023/A:
1016548805869
[8] F. Esteva, L. Godo, Monoidal t-norm based logic: Towards a logic for left-continuous t-norms, Fuzzy Sets and
Systems, 124 (2001), 271-288. https://doi.org/10.1016/S0165-0114(01)00098-7
Systems, 124 (2001), 271-288. https://doi.org/10.1016/S0165-0114(01)00098-7
[9] E. Fried, G. Gr¨atzer, A nonassociative extensions of the class of distributive lattices, Pacific Journal of Mathematics,
49 (1973), 59-78. https://projecteuclid.org/journals/pacific-journal-of-mathematics/volume-49/
issue-1/A-nonassociative-extension-of-the-class-of-distributive-lattices/pjm/1102945268.full
49 (1973), 59-78. https://projecteuclid.org/journals/pacific-journal-of-mathematics/volume-49/
issue-1/A-nonassociative-extension-of-the-class-of-distributive-lattices/pjm/1102945268.full
[10] D. Gabbay, G. Metcalfe, Fuzzy logics based on [0, 1)-continuous uninorms, Archive for Mathematical Logic, 46
(2007), 425-449. https://doi.org/10.1007/s00153-007-0047-1
(2007), 425-449. https://doi.org/10.1007/s00153-007-0047-1
[11] M. Ghadiri, B. Davvaz, Direct system and direct limit of Hv-modules, Iranian Journal of Science and Technology,
Transaction A, 28 (2004), 267-275.
Transaction A, 28 (2004), 267-275.
[12] G. Gr¨atzer, A. Kisielewicz, B. Wolk, An equational basis in four variables for the three-element tournament,
Colloquium Mathematicum, 18 (1992), 41-44. https://doi.org/10.4064/cm-63-1-41-44
Colloquium Mathematicum, 18 (1992), 41-44. https://doi.org/10.4064/cm-63-1-41-44
[13] P. H´ajek, Metamathematics of fuzzy logic, Kluwer, Amsterdam, 1998. https://doi.org/10.1007/
978-94-011-5300-3
978-94-011-5300-3
[14] S. Jenei, F. Montagna, A proof of standard completeness for Esteva and Godo’s logic MTL, Studia Logica, 70
(2002), 183-192. https://doi.org/10.1023/A:1015122331293
(2002), 183-192. https://doi.org/10.1023/A:1015122331293
[15] T. Kowalski, Weakly associative relation algebras hold the key to the universe, Bulletin of the Section
of Logic, 36 (2007), 145-157. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=
4bc2455a421b9fbc2ff63aaa49113ba907f90c45
of Logic, 36 (2007), 145-157. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=
4bc2455a421b9fbc2ff63aaa49113ba907f90c45
[16] K. Kunnen, Quasigroups, loops, and associative laws, Journal of Algebra, 185 (1996), 194-204. https://doi.org/
10.1006/jabr.1996.0321
10.1006/jabr.1996.0321
[17] A. Kurucz, Weakly associative relation algebras with projections, Mathematical Logic Quarterly, 29 (2008), 1-16.
https://doi.org/10.1002/malq.200710074
https://doi.org/10.1002/malq.200710074
[18] N. Lygeros, T. Vougiouklis, The LV-hyperstructures, Ratio Mathematica, 25 (2013), 59-66. https://lygeros.
org/wp-content/uploads/2019/12/14279_RM_25_5.pdf
org/wp-content/uploads/2019/12/14279_RM_25_5.pdf
[19] G. Metcalfe, F. Montagna, Substructural fuzzy logics, Journal of Symbolic Logic, 72 (2007), 834-864. https:
//www.jstor.org/stable/27588573
//www.jstor.org/stable/27588573
[20] G. Metcalfe, N. Olivetti, D. Gabbay, Proof theory for fuzzy logics, Springer Series in Applied Logic, vol. 36, 2009.
https://doi.org/10.1007/978-1-4020-9409-5
https://doi.org/10.1007/978-1-4020-9409-5
[21] B. O. Onasanya, T. S. Atamewoue, S. Hoskova-Mayerova, Certain fuzzy hyperstructures from a fuzzy set, Journal
of Intelligent and Fuzzy Systems, 39 (2020), 2775-2782. 10.3233/JIFS-191054
of Intelligent and Fuzzy Systems, 39 (2020), 2775-2782. 10.3233/JIFS-191054
[22] J. M. Pallo, Weak associativity and restricted rotation, Information Processing Letters, 109 (2009), 514-517. https:
//doi.org/10.1016/j.ipl.2009.01.014
//doi.org/10.1016/j.ipl.2009.01.014
[23] G. Restall, An introduction to substructural logics, New York, Routledge, 2000.
[24] D. ˇSalounov´a, Spectra of weakly associative lattice rings, Acta Universitatis Palackianae Olomucenis Facultas Rerum
Naturalium Mathematica, 40 (2001), 215-224.
Naturalium Mathematica, 40 (2001), 215-224.
[25] R. D. Schafer, An introduction to non-associative algebras, Dover, 1996. https://www.gutenberg.org/files/
25156/25156-pdf.pdf
25156/25156-pdf.pdf
[26] V. Stebletsova, Weakly associative relation algebras with polyadic composition operations, Studia Logica, 66 (2000),
297-323. https://doi.org/10.1023/A:1005204532371
297-323. https://doi.org/10.1023/A:1005204532371
[27] O. Susumu, Introduction to octonion and other non-associative algebras in physics (Montroll Memorial Lecture
Series in Mathematical Physics), Cambridge, Cambridge Univ. Press, 1995. https://doi.org/10.1017/
CBO9780511524479
Series in Mathematical Physics), Cambridge, Cambridge Univ. Press, 1995. https://doi.org/10.1017/
CBO9780511524479
[28] T. Vougiouklis, The e-hyperstructures, Journal of Mahani Mathematical Research Center, 1 (2012), 13-28. https:
//doi.org/10.22103/JMMRC.2012.345
//doi.org/10.22103/JMMRC.2012.345
[29] T. Vougiouklis, Enlarged fundamentally very thin Hv-structures, Journal of Algebraic Structures and Their Applications,
1 (2014), 11-20. https://as.yazd.ac.ir/article_410_a84741ff38a501826228c29a144726fd.pdf
1 (2014), 11-20. https://as.yazd.ac.ir/article_410_a84741ff38a501826228c29a144726fd.pdf
[30] T. Vougiouklis, S. Spartalis, M. Kessoglides, Weak hyperstructures on small sets, Ratio Mathematica, 12 (1997),
90-96.
90-96.
[31] S. Wang, Uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 205 (2012), 116-126. https://doi.
org/10.1016/j.fss.2012.04.017
org/10.1016/j.fss.2012.04.017
[32] S. Wang, Involutive uninorm logic with the n-potency axiom, Fuzzy Sets and Systems, 218 (2013), 1-23. https:
//doi.org/10.1016/j.fss.2012.09.009
//doi.org/10.1016/j.fss.2012.09.009
[33] E. Yang, Weakening-free, non-associative fuzzy logics: Micanorm-based logics, Fuzzy Sets and Systems, 276 (2015),
43-58. https://doi.org/10.1016/j.fss.2014.11.020
43-58. https://doi.org/10.1016/j.fss.2014.11.020
[34] E. Yang, Basic substructural core fuzzy logics and their extensions: Mianorm-based logics, Fuzzy Sets and Systems,
301 (2016), 1-18. https://doi.org/10.1016/j.fss.2015.09.007
301 (2016), 1-18. https://doi.org/10.1016/j.fss.2015.09.007
[35] E. Yang, Weakly associative fuzzy logics, Korean Journal of Logic, 19 (2016), 437-461.
[36] E. Yang, Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics, Fuzzy Sets and Systems,
320 (2017), 1-16. https://doi.org/10.1016/j.fss.2017.03.013
320 (2017), 1-16. https://doi.org/10.1016/j.fss.2017.03.013
[37] E. Yang, A non-associative generalization of continuous t-norm-based logics, Journal of Intelligent and Fuzzy
Systems, 33 (2017), 3743-3752. https://doi.org/10.3233/JIFS-17623
Systems, 33 (2017), 3743-3752. https://doi.org/10.3233/JIFS-17623
[38] E. Yang, Involutive micanorm logics with n-potency axiom, Korean Journal of Logic, 20 (2017), 273-292. https:
//logicalkorea.com/attach/paper/20-2-ESYang.pdf?ckattempt=1
//logicalkorea.com/attach/paper/20-2-ESYang.pdf?ckattempt=1
[39] E. Yang, Mianorm-based logics with n-contraction and n-mingle axioms, Journal of Intelligent and Fuzzy Systems,
37 (2019), 7895-7907. https://doi.org/10.3233/JIFS-190150
37 (2019), 7895-7907. https://doi.org/10.3233/JIFS-190150
[40] E. Yang, Involutive extensions of fixpointed mianorm-based logics, Korean Journal of Logic, 24 (2021), 31-52.
[41] E. Yang, Micanorm-based logics with fixed-point, Korean Journal of Logic, 24 (2021), 281-297.
[42] E. Yang, Fixed-pointed involutive micanorm-based logics, Korean Journal of Logic, 25 (2022), 121-137. https:
//logicalkorea.com/attach/paper/25-2_01_YangES.pdf
//logicalkorea.com/attach/paper/25-2_01_YangES.pdf
[43] E. Yang, Semilinear logics with knotted axioms, Iranian Journal of Fuzzy Systems, 19 (2022), 17-30. https:
//doi.org/10.22111/IJFS.2022.6785
//doi.org/10.22111/IJFS.2022.6785
)