{"id":"https://openalex.org/W7125210056","doi":"https://doi.org/10.3390/axioms15010077","title":"Modus Tollens in the Setting of Discrete Uninorms","display_name":"Modus Tollens in the Setting of Discrete Uninorms","publication_year":2026,"publication_date":"2026-01-21","ids":{"openalex":"https://openalex.org/W7125210056","doi":"https://doi.org/10.3390/axioms15010077"},"language":"en","primary_location":{"id":"doi:10.3390/axioms15010077","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms15010077","pdf_url":null,"source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3390/axioms15010077","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083907222","display_name":"Isabel Parunella Aguil\u00f3","orcid":null},"institutions":[{"id":"https://openalex.org/I4210126021","display_name":"Health Research Institute of the Balearic Islands","ror":"https://ror.org/037xbgq12","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210126021"]},{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Isabel Aguil\u00f3","raw_affiliation_strings":["Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0002-4434-3203","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain","institution_ids":["https://openalex.org/I50441567"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087445067","display_name":"Pilar Fuster-Parra","orcid":"https://orcid.org/0000-0003-2929-1625"},"institutions":[{"id":"https://openalex.org/I4210126021","display_name":"Health Research Institute of the Balearic Islands","ror":"https://ror.org/037xbgq12","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210126021"]},{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pilar Fuster-Parra","raw_affiliation_strings":["Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0003-2929-1625","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain","institution_ids":["https://openalex.org/I50441567"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005035399","display_name":"Juan Vicente Riera","orcid":"https://orcid.org/0000-0002-0878-8301"},"institutions":[{"id":"https://openalex.org/I4210126021","display_name":"Health Research Institute of the Balearic Islands","ror":"https://ror.org/037xbgq12","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210126021"]},{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Vicente Riera","raw_affiliation_strings":["Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0002-0878-8301","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute of the Balearic Islands (IAIB), 07122 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07120 Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Soft Computing, Image Processing and Aggregation (SCOPIA) Research Group, Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma, Spain","institution_ids":["https://openalex.org/I50441567"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083907222"],"corresponding_institution_ids":["https://openalex.org/I4210126021","https://openalex.org/I50441567"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14577702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":"1","first_page":"77","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.7483999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.7483999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.11999999731779099,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.06870000064373016,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.683899998664856},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.45329999923706055},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4478999972343445},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.39469999074935913},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.392300009727478},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.3799000084400177},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.3714999854564667},{"id":"https://openalex.org/keywords/discrete-manufacturing","display_name":"Discrete manufacturing","score":0.3547999858856201}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.683899998664856},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6169999837875366},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45329999923706055},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4478999972343445},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.39469999074935913},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.392300009727478},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.3714999854564667},{"id":"https://openalex.org/C2780720960","wikidata":"https://www.wikidata.org/wiki/Q5282052","display_name":"Discrete manufacturing","level":3,"score":0.3547999858856201},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3440000116825104},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34279999136924744},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3395000100135803},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.3197000026702881},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3034999966621399},{"id":"https://openalex.org/C195975749","wikidata":"https://www.wikidata.org/wiki/Q1475705","display_name":"Fuzzy control system","level":3,"score":0.29750001430511475},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28439998626708984},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.2651999890804291}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/axioms15010077","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms15010077","pdf_url":null,"source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:5bd561acf7f7432d8f74dafa94700ae8","is_oa":true,"landing_page_url":"https://doaj.org/article/5bd561acf7f7432d8f74dafa94700ae8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms, Vol 15, Iss 1, p 77 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/axioms15010077","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms15010077","pdf_url":null,"source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5086563229560852,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,34],"study":[1],"focuses":[2],"on":[3],"the":[4,16,52,76],"Modus":[5,77],"Tollens":[6,78],"(MT)":[7],"property":[8],"induced":[9],"by":[10,40],"discrete":[11,25,42,58,99],"uninorms.":[12],"Specifically,":[13],"we":[14],"identify":[15],"set":[17],"of":[18,36,49,51,56,75,82,91],"necessary":[19],"and":[20],"sufficient":[21],"criteria":[22],"for":[23],"a":[24,88],"implication":[26,44],"function":[27],"to":[28,87],"comply":[29],"with":[30],"this":[31,80],"logical":[32],"property.":[33],"rule":[35],"inference":[37],"is":[38],"studied":[39],"using":[41],"residual":[43],"functions":[45],"derived":[46],"from":[47],"uninorms":[48],"two":[50],"most":[53],"important":[54],"families":[55],"these":[57,65],"operators":[59,66],"(Umin,":[60],"idempotents),":[61],"exploring":[62],"which":[63],"properties":[64],"must":[67],"satisfy,":[68],"as":[69,71],"well":[70],"providing":[72],"some":[73],"characterizations":[74],"in":[79,94,98],"domain":[81],"definition.":[83],"Our":[84],"findings":[85],"contribute":[86],"deeper":[89],"understanding":[90],"reasoning":[92],"mechanisms":[93],"fuzzy":[95],"logic,":[96],"particularly":[97],"settings.":[100]},"counts_by_year":[],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2026-01-22T00:00:00"}