{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T12:30:55Z","timestamp":1768393855436,"version":"3.49.0"},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comp. Appl. Math."],"published-print":{"date-parts":[[2026,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Modelling knowledge systems is a fundamental challenge nowadays. Logic rules are essential for this goal in order to, for instance, design decision-support systems in artificial intelligence. However, the determination of these logic rules is a complex problem. In this line, Formal Concept Analysis provides a mechanism to automatically compute rules from a relational data set, which are called attribute implications. The difficulty arises from the potentially large number of valid implications derivable from a given data set, as well as the presence of redundant implications. This paper will focus on the theoretical development of the notions of theory, model and the entailment relations between them, which will allow us to elaborate the notion of basis of attribute implications in the multi-adjoint concept lattice framework enriched with truth-stressing hedges. We will explore one of the most common types of bases, which is constructed by means of the so-called pseudo-intents.<\/jats:p>","DOI":"10.1007\/s40314-025-03391-9","type":"journal-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T07:33:37Z","timestamp":1757403217000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Theories, models and bases of attribute implications in multi-adjoint concept lattices with hedges"],"prefix":"10.1007","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8230-0044","authenticated-orcid":false,"given":"M. Eugenia","family":"Cornejo","sequence":"first","affiliation":[]},{"given":"Jes\u00fas","family":"Medina","sequence":"additional","affiliation":[]},{"given":"Francisco Jos\u00e9","family":"Oca\u00f1a","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"issue":"7","key":"3391_CR1","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1080\/03081079.2019.1620740","volume":"48","author":"C Alcalde","year":"2019","unstructured":"Alcalde C, Burusco A (2019) Reduction of the size of l-fuzzy contexts. a tool for differential diagnoses of diseases. Int J Gen Syst 48(7):692\u2013712","journal-title":"Int J Gen Syst"},{"key":"3391_CR2","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1109\/TFUZZ.2020.2969114","volume":"29","author":"L Antoni","year":"2021","unstructured":"Antoni L, Cornejo ME, Medina J, Ram\u00edrez E (2021) Attribute classification and reduct computation in multi-adjoint concept lattices. IEEE Trans Fuzzy Syst 29:1121\u20131132","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"3391_CR3","doi-asserted-by":"crossref","unstructured":"Arag\u00f3n RG, Medina J, Ram\u00edrez-Poussa E (2022) Impact of local congruences in variable selection from datasets. Journal of Computational and Applied Mathematics, page 11341,","DOI":"10.1016\/j.cam.2021.113416"},{"key":"3391_CR4","first-page":"197","volume":"955","author":"RG Arag\u00f3n","year":"2022","unstructured":"Arag\u00f3n RG, Cornejo ME, Medina J, Ram\u00edrez-Poussa E, Rubio-Manzano C (2022) Formal concept analysis for detecting criminal patterns. Studies in Computational Intelligence 955:197\u2013203","journal-title":"Studies in Computational Intelligence"},{"issue":"1","key":"3391_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.fss.2011.05.020","volume":"187","author":"E Bartl","year":"2012","unstructured":"Bartl E, B\u011blohl\u00e1vek R, Vychodil V (2012) Bivalent and other solutions of fuzzy relational equations via linguistic hedges. Fuzzy Sets Syst 187(1):103\u2013112","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.apal.2003.01.001","volume":"128","author":"R B\u011blohl\u00e1vek","year":"2004","unstructured":"B\u011blohl\u00e1vek R (2004) Concept lattices and order in fuzzy logic. Ann Pure Appl Logic 128:277\u2013298","journal-title":"Ann Pure Appl Logic"},{"issue":"5","key":"3391_CR7","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1080\/03081079.2012.685936","volume":"41","author":"R B\u011blohl\u00e1vek","year":"2012","unstructured":"B\u011blohl\u00e1vek R, Vychodil V (2012) Formal concept analysis and linguistic hedges. Int J General Systems 41(5):503\u2013532","journal-title":"Int J General Systems"},{"issue":"7\u20138","key":"3391_CR8","doi-asserted-by":"publisher","first-page":"864","DOI":"10.1080\/03081079.2016.1205711","volume":"45","author":"R Belohl\u00e1vek","year":"2016","unstructured":"Belohl\u00e1vek R, Vychodil V (2016) Attribute dependencies for data with grades I. Int J Gen Syst 45(7\u20138):864\u2013888","journal-title":"Int J Gen Syst"},{"key":"3391_CR9","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.ijar.2015.12.007","volume":"70","author":"R B\u011blohl\u00e1vek","year":"2016","unstructured":"B\u011blohl\u00e1vek R, Cordero P, Enciso M, Mora A, Vychodil V (2016) Automated prover for attribute dependencies in data with grades. Int J Approximate Reasoning 70:51\u201367","journal-title":"Int J Approximate Reasoning"},{"key":"3391_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.tcs.2016.11.021","volume":"743","author":"K Bertet","year":"2018","unstructured":"Bertet K, Demko C, Viaud J-F, Gu\u00e9rin C (2018) Lattices, closures systems and implication bases: A survey of structural aspects and algorithms. Theoret Comput Sci 743:93\u2013109","journal-title":"Theoret Comput Sci"},{"key":"3391_CR11","first-page":"209","volume":"3","author":"A Burusco","year":"1994","unstructured":"Burusco A, Fuentes-Gonz\u00e1lez R (1994) The study of $${L}$$-fuzzy concept lattice. Mathware & Soft Computing 3:209\u2013218","journal-title":"Mathware & Soft Computing"},{"issue":"1","key":"3391_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0165-0114(96)00318-1","volume":"97","author":"A Burusco","year":"1998","unstructured":"Burusco A, Fuentes-Gonz\u00e1lez R (1998) Construction of the $${L}$$-fuzzy concept lattice. Fuzzy Sets Syst 97(1):109\u2013114","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR13","unstructured":"Cordero P, Enciso M, Mora A, Ojeda-Aciego M (2013) Computing left-minimal direct basis of implications. In Ojeda-Aciego M, Outrata J, editors, CLA, volume 1062 of CEUR Workshop Proceedings, pages 293\u2013298. CEUR-WS.org"},{"key":"3391_CR14","doi-asserted-by":"crossref","unstructured":"Cornejo ME, Medina-Moreno J, Ram\u00edrez-Poussa E (2020) On the Exchange Principle in Adjoint Triples, pages 59\u201365. Springer International Publishing, Cham","DOI":"10.1007\/978-3-030-16024-1_8"},{"key":"3391_CR15","unstructured":"Cornejo ME, Medina J, Oca\u00f1a FJ (2022) Multi-adjoint attribute implications to digital forensic. In 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2022, pages 35\u201336"},{"key":"3391_CR16","unstructured":"Cornejo ME, Medina J, Oca\u00f1a FJ (2024) Fuzzy attribute implication theory and its application to renewable energies. In Proc. FUZZ-IEEE\u201924. 2024 IEEE International Conference on Fuzzy Systems, IEEE Press"},{"key":"3391_CR17","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2016) Computing the validity of attribute implications in multi-adjoint concept lattices. In International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2016, volume\u00a0II, pages 414\u2013423"},{"key":"3391_CR18","first-page":"126","volume":"12","author":"ME Cornejo","year":"2021","unstructured":"Cornejo ME, Medina J (2021) Impact Zadeh\u2019s theory to algebraic structures. multi-adjoint algebras. Journal of Pure and Applied Mathematics 12:126\u2013141","journal-title":"Journal of Pure and Applied Mathematics"},{"key":"3391_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2012.05.004","volume":"211","author":"ME Cornejo","year":"2013","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2013) A comparative study of adjoint triples. Fuzzy Sets Syst 211:1\u201314","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.ijar.2015.08.003","volume":"66","author":"ME Cornejo","year":"2015","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2015) Multi-adjoint algebras versus non-commutative residuated structures. Int J Approximate Reasoning 66:119\u2013138","journal-title":"Int J Approximate Reasoning"},{"key":"3391_CR21","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1016\/j.cam.2016.07.012","volume":"318","author":"ME Cornejo","year":"2017","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2017) Attribute and size reduction mechanisms in multi-adjoint concept lattices. J Comput Appl Math 318:388\u2013402","journal-title":"J Comput Appl Math"},{"key":"3391_CR22","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1016\/j.ins.2017.08.099","volume":"422","author":"ME Cornejo","year":"2018","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2018) Characterizing reducts in multi-adjoint concept lattices. Inf Sci 422:364\u2013376","journal-title":"Inf Sci"},{"key":"3391_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.fss.2021.02.002","volume":"425","author":"ME Cornejo","year":"2021","unstructured":"Cornejo ME, Medina J, Ram\u00edrez-Poussa E (2021) Algebraic structure and characterization of adjoint triples. Fuzzy Sets Syst 425:117\u2013139","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2021.113772","volume":"404","author":"ME Cornejo","year":"2022","unstructured":"Cornejo ME, D\u00edaz-Moreno JC, Medina J (2022) Generalized quantifiers in formal concept analysis. J Comput Appl Math 404:113772","journal-title":"J Comput Appl Math"},{"key":"3391_CR25","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2022.03.006","volume":"445","author":"ME Cornejo","year":"2022","unstructured":"Cornejo ME, Fari\u00f1as del Cerro L, Medina J (2022) Multi-adjoint lattice logic and truth-stressing hedges. Fuzzy Sets Syst 445:43\u201365","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR26","first-page":"81","volume":"955","author":"ME Cornejo","year":"2022","unstructured":"Cornejo ME, Medina J, Rubio-Manzano C (2022) Formal analysis of solar power and weather data. Studies in Computational Intelligence 955:81\u201389","journal-title":"Studies in Computational Intelligence"},{"key":"3391_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2023.108854","volume":"479","author":"ME Cornejo","year":"2024","unstructured":"Cornejo ME, Medina J, Oca\u00f1a FJ (2024) Attribute implications in multi-adjoint concept lattices with hedges. Fuzzy Sets Syst 479:108854","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR28","doi-asserted-by":"crossref","unstructured":"Davey B, Priestley H (2002) Introduction to Lattices and Order. Cambridge University Press, second edition","DOI":"10.1017\/CBO9780511809088"},{"issue":"2","key":"3391_CR29","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1080\/03081079.2013.879302","volume":"43","author":"JC D\u00edaz-Moreno","year":"2014","unstructured":"D\u00edaz-Moreno JC, Medina J, Ojeda-Aciego M (2014) On basic conditions to generate multi-adjoint concept lattices via Galois connections. Int J Gen Syst 43(2):149\u2013161","journal-title":"Int J Gen Syst"},{"key":"3391_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2024.121419","volume":"689","author":"D Dubois","year":"2025","unstructured":"Dubois D, Medina J, Prade H (2025) Extracting attribute implications from a formal context: Unifying the basic approaches. Inf Sci 689:121419","journal-title":"Inf Sci"},{"key":"3391_CR31","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/j.ins.2012.12.010","volume":"232","author":"F Esteva","year":"2013","unstructured":"Esteva F, Godo L, Noguera C (2013) A logical approach to fuzzy truth hedges. Inf Sci 232:366\u2013385","journal-title":"Inf Sci"},{"key":"3391_CR32","doi-asserted-by":"crossref","unstructured":"Ganter B (2010) Two basic algorithms in concept analysis. In L.\u00a0Kwuida and B.\u00a0Sertkaya, editors, Formal Concept Analysis, pages 312\u2013340, Berlin, Heidelberg, Springer Berlin Heidelberg","DOI":"10.1007\/978-3-642-11928-6_22"},{"key":"3391_CR33","doi-asserted-by":"crossref","unstructured":"Ganter B, Wille R (1999) Formal Concept Analysis: Mathematical Foundation. Springer Verlag,","DOI":"10.1007\/978-3-642-59830-2"},{"issue":"53","key":"3391_CR34","first-page":"23","volume":"1","author":"G Georgescu","year":"2002","unstructured":"Georgescu G, Popescu A (2002) Concept lattices and similarity in non-commutative fuzzy logic. Fund Inform 1(53):23\u201354","journal-title":"Fund Inform"},{"issue":"7","key":"3391_CR35","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/s00500-003-0280-4","volume":"7","author":"G Georgescu","year":"2003","unstructured":"Georgescu G, Popescu A (2003) Non-commutative fuzzy Galois connections. Soft Comput 7(7):458\u2013467","journal-title":"Soft Comput"},{"issue":"2","key":"3391_CR36","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1080\/03081079.2015.1072929","volume":"45","author":"CV Glodeanu","year":"2016","unstructured":"Glodeanu CV (2016) Knowledge discovery in data sets with graded attributes. Int J Gen Syst 45(2):232\u2013249","journal-title":"Int J Gen Syst"},{"key":"3391_CR37","first-page":"5","volume":"95","author":"J-L Guigues","year":"1986","unstructured":"Guigues J-L, Duquenne V (1986) Familles minimales d\u2019implications informatives r\u00e9sultant d\u2019un tableau de donn\u00e9es binaires. Math\u00e9matiques et Sciences Humaines 95:5\u201318","journal-title":"Math\u00e9matiques et Sciences Humaines"},{"key":"3391_CR38","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1998) Metamathematics of Fuzzy Logic. Trends in Logic. Kluwer Academic","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"3","key":"3391_CR39","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0165-0114(01)00103-8","volume":"124","author":"P H\u00e1jek","year":"2001","unstructured":"H\u00e1jek P (2001) On very true. Fuzzy Sets and Systems Fuzzy Logic 124(3):329\u2013333","journal-title":"Fuzzy Sets and Systems Fuzzy Logic"},{"issue":"2","key":"3391_CR40","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1080\/03098265.2016.1154932","volume":"40","author":"J Hill","year":"2016","unstructured":"Hill J, Walkington H, France D (2016) Graduate attributes: implications for higher education practice and policy. J Geogr High Educ 40(2):155\u2013163","journal-title":"J Geogr High Educ"},{"key":"3391_CR41","doi-asserted-by":"crossref","unstructured":"Klir G, Yuan B (1995) Fuzzy sets and fuzzy logic, volume\u00a04. Prentice Hall New Jersey","DOI":"10.1109\/45.468220"},{"issue":"5","key":"3391_CR42","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1093\/jigpal\/jzi045","volume":"13","author":"S Kraj\u010di","year":"2005","unstructured":"Kraj\u010di S (2005) A generalized concept lattice. Log J IGPL 13(5):543\u2013550","journal-title":"Log J IGPL"},{"key":"3391_CR43","doi-asserted-by":"crossref","unstructured":"Kuhr T, Vychodil V (2015) Fuzzy logic programming reduced to reasoning with attribute implications. Fuzzy Sets and Systems, 262:1 \u2013 20, Theme: Logic and Computer Science","DOI":"10.1016\/j.fss.2014.04.013"},{"issue":"4","key":"3391_CR44","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/BF00262952","volume":"2","author":"G Lakoff","year":"1973","unstructured":"Lakoff G (1973) Hedges: A study in meaning criteria and the logic of fuzzy concepts. J Philos Log 2(4):458\u2013508","journal-title":"J Philos Log"},{"key":"3391_CR45","unstructured":"Li\u00f1eiro-Barea V, Medina J, Medina-Bulo I (2015) Towards generating fuzzy rules via fuzzy formal concept analysis. In J.\u00a0Kacprzyk, L.\u00a0Koczy, and J.\u00a0Medina, editors, 7th European Symposium on Computational Intelligence and Mathematices (ESCIM 2015), pages 60\u201365"},{"key":"3391_CR46","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2022.12.021","volume":"463","author":"D Lobo","year":"2023","unstructured":"Lobo D, L\u00f3pez-Marchante V, Medina J (2023) Reducing fuzzy relation equations via concept lattices. Fuzzy Sets Syst 463:108465","journal-title":"Fuzzy Sets Syst"},{"issue":"15","key":"3391_CR47","doi-asserted-by":"publisher","first-page":"15982","DOI":"10.1002\/mma.7470","volume":"46","author":"N Madrid","year":"2023","unstructured":"Madrid N, Ojeda-Aciego M (2023) A measure of consistency for fuzzy logic theories. Mathematical Methods in the Applied Sciences 46(15):15982\u201315995","journal-title":"Mathematical Methods in the Applied Sciences"},{"key":"3391_CR48","unstructured":"Marker D (2002) Model theory: an introduction, volume 217. Springer Science & Business Media"},{"issue":"2","key":"3391_CR49","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.fss.2008.05.004","volume":"160","author":"J Medina","year":"2009","unstructured":"Medina J, Ojeda-Aciego M, Ruiz-Calvi\u00f1o J (2009) Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets Syst 160(2):130\u2013144","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR50","unstructured":"Medina J, Antonio Torn\u00e9-Zambrano J Computational reaching of quantified consequences from imperfect initial data. Mathematical Methods in the Applied Sciences, n\/a(n\/a)"},{"issue":"8","key":"3391_CR51","doi-asserted-by":"publisher","first-page":"8709","DOI":"10.1002\/mma.9012","volume":"46","author":"V Nithya","year":"2023","unstructured":"Nithya V, Sakthivel R, Kong F, Suveetha VT (2023) Quantized filtering for networked takagi sugeno fuzzy systems with multipath data packet dropouts. Mathematical Methods in the Applied Sciences 46(8):8709\u20138727","journal-title":"Mathematical Methods in the Applied Sciences"},{"key":"3391_CR52","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2022.12.014","volume":"463","author":"M Ojeda-Hern\u00e1ndez","year":"2023","unstructured":"Ojeda-Hern\u00e1ndez M, Cabrera IP, Cordero P, Mu\u00f1oz-Velasco E (2023) Fuzzy closure structures as formal concepts. Fuzzy Sets Syst 463:108458","journal-title":"Fuzzy Sets Syst"},{"key":"3391_CR53","doi-asserted-by":"publisher","DOI":"10.1016\/j.fsidi.2024.301797","volume":"50","author":"M Ojeda-Hern\u00e1ndez","year":"2024","unstructured":"Ojeda-Hern\u00e1ndez M, L\u00f3pez-Rodr\u00edguez D, Mora \u00c1 (2024) A formal concept analysis approach to hierarchical description of malware threats. Forensic Science International Digital Investigation 50:301797","journal-title":"Forensic Science International Digital Investigation"},{"key":"3391_CR54","doi-asserted-by":"crossref","unstructured":"Pang K, Zou L, Kang N, Li S, Lu M (2023) The construction of fuzzy linguistic attribute partial ordered structure diagram. Computational and Applied Mathematics, 42(6)","DOI":"10.1007\/s40314-023-02360-4"},{"key":"3391_CR55","doi-asserted-by":"crossref","unstructured":"Ren Y, Zhang Y, Hong W (2024) Incremental concept cognitive learning in dynamic formal contexts based on attribute partial order structure diagram. Computational and Applied Mathematics, 43(6)","DOI":"10.1007\/s40314-024-02826-z"},{"key":"3391_CR56","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1016\/j.procs.2014.05.325","volume":"31","author":"J Rodr\u00edguez-Jim\u00e9nez","year":"2014","unstructured":"Rodr\u00edguez-Jim\u00e9nez J, Cordero P, Enciso M, Mora A (2014) Negative attributes and implications in formal concept analysis. Procedia Computer Science 31:758\u2013765","journal-title":"Procedia Computer Science"},{"issue":"5","key":"3391_CR57","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1080\/03081079.2017.1349632","volume":"46","author":"E Rodr\u00edguez-Lorenzo","year":"2017","unstructured":"Rodr\u00edguez-Lorenzo E, Adaricheva K, Cordero P, Enciso M, Mora A (2017) Formation of the d-basis from implicational systems using simplification logic. Int J Gen Syst 46(5):547\u2013568","journal-title":"Int J Gen Syst"},{"key":"3391_CR58","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2023.108940","volume":"159","author":"P Sokol","year":"2023","unstructured":"Sokol P, Antoni L, Kr\u00eddlo O, Markov\u00e1 E, Kov\u00e1\u010dov\u00e1 K, Kraj\u010di S (2023) Formal concept analysis approach to understand digital evidence relationships. Int J Approximate Reasoning 159:108940","journal-title":"Int J Approximate Reasoning"},{"key":"3391_CR59","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0168-0072(87)90081-9","volume":"33","author":"G Takeuti","year":"1987","unstructured":"Takeuti G, Titani S (1987) Globalization of intuitionistic set theory. Ann Pure Appl Logic 33:195\u2013211","journal-title":"Ann Pure Appl Logic"},{"key":"3391_CR60","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.ins.2016.03.004","volume":"351","author":"V Vychodil","year":"2016","unstructured":"Vychodil V (2016) Computing sets of graded attribute implications with witnessed non-redundancy. Inf Sci 351:90\u2013100","journal-title":"Inf Sci"},{"issue":"4","key":"3391_CR61","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1002\/mma.9751","volume":"47","author":"C Wang","year":"2024","unstructured":"Wang C, Tan Y, Agarwal RP (2024) Almost periodic fractional fuzzy dynamic equations on timescales: A survey. Mathematical Methods in the Applied Sciences 47(4):2345\u20132401","journal-title":"Mathematical Methods in the Applied Sciences"}],"container-title":["Computational and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40314-025-03391-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s40314-025-03391-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40314-025-03391-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T07:02:40Z","timestamp":1768374160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s40314-025-03391-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":61,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["3391"],"URL":"https:\/\/doi.org\/10.1007\/s40314-025-03391-9","relation":{},"ISSN":["2238-3603","1807-0302"],"issn-type":[{"value":"2238-3603","type":"print"},{"value":"1807-0302","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"11 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"30"}}