{"id":"https://openalex.org/W2009190427","doi":"https://doi.org/10.1007/s00500-009-0402-8","title":"Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics","display_name":"Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics","publication_year":2009,"publication_date":"2009-02-10","ids":{"openalex":"https://openalex.org/W2009190427","doi":"https://doi.org/10.1007/s00500-009-0402-8","mag":"2009190427"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-009-0402-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-009-0402-8","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://digital.csic.es/bitstream/10261/160412/1/SC%282010%29_14%283%29273-84.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086317940","display_name":"Francesc Esteva","orcid":"https://orcid.org/0000-0003-4466-3298"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Francesc Esteva","raw_affiliation_strings":["IIIA, CSIC, Campus de la Universitat Aut\u00f2noma de Barcelona s/n, 08193, Bellaterra, Catalonia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIA, CSIC, Campus de la Universitat Aut\u00f2noma de Barcelona s/n, 08193, Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072818908","display_name":"Llu\u0131\u0301s Godo","orcid":"https://orcid.org/0000-0002-6929-3126"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Llu\u00eds Godo","raw_affiliation_strings":["IIIA, CSIC, Campus de la Universitat Aut\u00f2noma de Barcelona s/n, 08193, Bellaterra, Catalonia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIA, CSIC, Campus de la Universitat Aut\u00f2noma de Barcelona s/n, 08193, Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038642668","display_name":"Carles Noguera","orcid":"https://orcid.org/0000-0003-4910-599X"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carles Noguera","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100, Siena, Italy","University of Siena, Department of Mathematics and Computer Science, Pian dei Mantellini 44, 53100, Siena, Italy#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Siena, Pian dei Mantellini 44, 53100, Siena, Italy","institution_ids":["https://openalex.org/I102064193"]},{"raw_affiliation_string":"University of Siena, Department of Mathematics and Computer Science, Pian dei Mantellini 44, 53100, Siena, Italy#TAB#","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086317940"],"corresponding_institution_ids":["https://openalex.org/I123044942"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.9207,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.85154242,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"14","issue":"3","first_page":"273","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9980999827384949,"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.9961000084877014,"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/unit-interval","display_name":"Unit interval","score":0.7128111720085144},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6892321109771729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6786874532699585},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.6302027702331543},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5140846371650696},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.4662225544452667},{"id":"https://openalex.org/keywords/norm","display_name":"Norm (philosophy)","score":0.4604393541812897},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.45139122009277344},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.445030152797699},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3662961721420288},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.3593757748603821},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31927889585494995},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17583003640174866},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12565824389457703},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.09982305765151978},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09688618779182434},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08087158203125},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07154116034507751},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06797027587890625},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05868449807167053}],"concepts":[{"id":"https://openalex.org/C128394911","wikidata":"https://www.wikidata.org/wiki/Q1987578","display_name":"Unit interval","level":2,"score":0.7128111720085144},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6892321109771729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6786874532699585},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.6302027702331543},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5140846371650696},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.4662225544452667},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.4604393541812897},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.45139122009277344},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.445030152797699},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3662961721420288},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.3593757748603821},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31927889585494995},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17583003640174866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12565824389457703},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.09982305765151978},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09688618779182434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08087158203125},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07154116034507751},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06797027587890625},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05868449807167053},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00500-009-0402-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-009-0402-8","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},{"id":"pmh:oai:digital.csic.es:10261/160412","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/160412","pdf_url":"https://digital.csic.es/bitstream/10261/160412/1/SC%282010%29_14%283%29273-84.pdf","source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"pmh:oai:usiena-air.unisi.it:11365/1200734","is_oa":false,"landing_page_url":"https://rdcu.be/cNvF0","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:digital.csic.es:10261/160412","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/160412","pdf_url":"https://digital.csic.es/bitstream/10261/160412/1/SC%282010%29_14%283%29273-84.pdf","source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"http://purl.org/coar/resource_type/c_6501"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"},{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G5209823702","display_name":null,"funder_award_id":"2005-SGR-00093","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2009190427.pdf","grobid_xml":"https://content.openalex.org/works/W2009190427.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W270056808","https://openalex.org/W1511669762","https://openalex.org/W1531219255","https://openalex.org/W1602192439","https://openalex.org/W1983382657","https://openalex.org/W2000260716","https://openalex.org/W2000922072","https://openalex.org/W2004739217","https://openalex.org/W2040277462","https://openalex.org/W2042415202","https://openalex.org/W2054281703","https://openalex.org/W2071694554","https://openalex.org/W2082093772","https://openalex.org/W2103135708","https://openalex.org/W2110182592","https://openalex.org/W2119353490","https://openalex.org/W2145524968","https://openalex.org/W2326267538","https://openalex.org/W2396953508","https://openalex.org/W2397840847","https://openalex.org/W2400210569","https://openalex.org/W2594250516","https://openalex.org/W2614197886","https://openalex.org/W3213572188","https://openalex.org/W4210294256"],"related_works":["https://openalex.org/W78106456","https://openalex.org/W2156897951","https://openalex.org/W1986625420","https://openalex.org/W2949968785","https://openalex.org/W2065260235","https://openalex.org/W2285760602","https://openalex.org/W2040645465","https://openalex.org/W2383907964","https://openalex.org/W1907513460","https://openalex.org/W1975241902"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}