{"id":"https://openalex.org/W3033740609","doi":"https://doi.org/10.1007/978-3-030-50143-3_61","title":"Modus Ponens Tollens for RU-Implications","display_name":"Modus Ponens Tollens for RU-Implications","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3033740609","doi":"https://doi.org/10.1007/978-3-030-50143-3_61","mag":"3033740609"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-50143-3_61","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-50143-3_61","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7274740","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049599975","display_name":"Isabel Aguil\u00f3","orcid":"https://orcid.org/0000-0002-4434-3203"},"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":"Isabel Aguil\u00f3","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0002-4434-3203","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017546076","display_name":"Sebasti\u00e0 Massanet","orcid":"https://orcid.org/0000-0001-8243-5013"},"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":"Sebastia Massanet","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0001-8243-5013","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]}]},{"author_position":"middle","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":["Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain","Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0002-0878-8301","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041876130","display_name":"Daniel Ruiz-Aguilera","orcid":"https://orcid.org/0000-0001-9413-009X"},"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":"Daniel Ruiz-Aguilera","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain"],"raw_orcid":"https://orcid.org/0000-0001-9413-009X","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, 07122, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), 07010, Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of the Balearic Islands, Palma, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Health Research Institute of the Balearic Islands (IdISBa), Palma, Spain","institution_ids":["https://openalex.org/I4210126021"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041876130"],"corresponding_institution_ids":["https://openalex.org/I4210126021","https://openalex.org/I50441567"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13219261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"788","last_page":"801"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9993000030517578,"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/modus-ponens","display_name":"Modus ponens","score":0.9747498035430908},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6973257660865784},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6110279560089111},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.6079791784286499},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.5261659026145935},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3378722667694092},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29877161979675293},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2656307518482208}],"concepts":[{"id":"https://openalex.org/C193885149","wikidata":"https://www.wikidata.org/wiki/Q655742","display_name":"Modus ponens","level":3,"score":0.9747498035430908},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6973257660865784},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6110279560089111},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6079791784286499},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.5261659026145935},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3378722667694092},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29877161979675293},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2656307518482208},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-50143-3_61","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-50143-3_61","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},{"id":"pmh:oai:pubmedcentral.nih.gov:7274740","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7274740","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information Processing and Management of Uncertainty in Knowledge-Based Systems","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:pubmedcentral.nih.gov:7274740","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7274740","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information Processing and Management of Uncertainty in Knowledge-Based Systems","raw_type":"Text"},"sustainable_development_goals":[{"score":0.4399999976158142,"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":26,"referenced_works":["https://openalex.org/W1510833535","https://openalex.org/W1985403939","https://openalex.org/W1986391289","https://openalex.org/W2000022321","https://openalex.org/W2025021415","https://openalex.org/W2028056281","https://openalex.org/W2038675095","https://openalex.org/W2066782180","https://openalex.org/W2069800536","https://openalex.org/W2072526747","https://openalex.org/W2079393863","https://openalex.org/W2114065574","https://openalex.org/W2115067689","https://openalex.org/W2127884620","https://openalex.org/W2164429865","https://openalex.org/W2183383516","https://openalex.org/W2221355491","https://openalex.org/W2250912615","https://openalex.org/W2270423577","https://openalex.org/W2475729720","https://openalex.org/W2893152687","https://openalex.org/W2901130133","https://openalex.org/W2915061287","https://openalex.org/W4234672050","https://openalex.org/W4238189986","https://openalex.org/W4256322340"],"related_works":["https://openalex.org/W2029563506","https://openalex.org/W1588067599","https://openalex.org/W2611198522","https://openalex.org/W2389239788","https://openalex.org/W4246940373","https://openalex.org/W2615257120","https://openalex.org/W2288267523","https://openalex.org/W2166691384","https://openalex.org/W2056158647","https://openalex.org/W2786008341"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}