
تعداد نشریات | 33 |
تعداد شمارهها | 764 |
تعداد مقالات | 7,395 |
تعداد مشاهده مقاله | 12,232,740 |
تعداد دریافت فایل اصل مقاله | 8,348,477 |
Basic fuzzy logics and weak associative uninorms | ||
Iranian Journal of Fuzzy Systems | ||
دوره 21، شماره 3، مرداد و شهریور 2024، صفحه 123-136 اصل مقاله (496.7 K) | ||
نوع مقاله: Research Paper | ||
شناسه دیجیتال (DOI): 10.22111/ijfs.2024.47834.8417 | ||
نویسنده | ||
Eunsuk Yang* | ||
Department of Philosophy & Institute of Critical Thinking and Writing, Chonbuk National University, Rm 417, Colleges of Humanities & Social Science Blvd., Jeonju, 561-756, KOREA | ||
چکیده | ||
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. | ||
کلیدواژهها | ||
fuzzy logic؛ t-norm؛ wa$_{t}$-uninorm؛ uninorm؛ micanorm | ||
مراجع | ||
[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 [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 [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 [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 [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. [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 [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 [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 [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 [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. [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 [13] P. H´ajek, Metamathematics of fuzzy logic, Kluwer, Amsterdam, 1998. https://doi.org/10.1007/ 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 [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 [16] K. Kunnen, Quasigroups, loops, and associative laws, Journal of Algebra, 185 (1996), 194-204. https://doi.org/ 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 [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 [19] G. Metcalfe, F. Montagna, Substructural fuzzy logics, Journal of Symbolic Logic, 72 (2007), 834-864. https: //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 [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 [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 [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. [25] R. D. Schafer, An introduction to non-associative algebras, Dover, 1996. https://www.gutenberg.org/files/ 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 [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 [28] T. Vougiouklis, The e-hyperstructures, Journal of Mahani Mathematical Research Center, 1 (2012), 13-28. https: //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 [30] T. Vougiouklis, S. Spartalis, M. Kessoglides, Weak hyperstructures on small sets, Ratio Mathematica, 12 (1997), 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 [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 [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 [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 [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 [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 [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 [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 [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 [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 | ||
آمار تعداد مشاهده مقاله: 279 تعداد دریافت فایل اصل مقاله: 330 |