{"id":"https://openalex.org/W3082913736","doi":"https://doi.org/10.1109/fuzz48607.2020.9177858","title":"Quantitative Study of Fuzzy Logics","display_name":"Quantitative Study of Fuzzy Logics","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3082913736","doi":"https://doi.org/10.1109/fuzz48607.2020.9177858","mag":"3082913736"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz48607.2020.9177858","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ruj.uj.edu.pl/xmlui/handle/item/251984","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024106713","display_name":"Zofia Kostrzycka","orcid":"https://orcid.org/0000-0001-9797-6306"},"institutions":[{"id":"https://openalex.org/I119217307","display_name":"Opole University of Technology","ror":"https://ror.org/05sj5k538","country_code":"PL","type":"education","lineage":["https://openalex.org/I119217307"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Zofia Kostrzycka","raw_affiliation_strings":["University of Technology, Opole, Poland"],"affiliations":[{"raw_affiliation_string":"University of Technology, Opole, Poland","institution_ids":["https://openalex.org/I119217307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025578269","display_name":"Marek Zaionc","orcid":"https://orcid.org/0000-0003-1132-6690"},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marek Zaionc","raw_affiliation_strings":["Theoretical Computer Science, Jagiellonian University, Krak\u00f3w, Poland"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science, Jagiellonian University, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I126596746"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024106713"],"corresponding_institution_ids":["https://openalex.org/I119217307"],"apc_list":null,"apc_paid":null,"fwci":0.2888,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63350471,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9990000128746033,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9872000217437744,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.795722246170044},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6649477481842041},{"id":"https://openalex.org/keywords/infinity","display_name":"Infinity","score":0.64133220911026},{"id":"https://openalex.org/keywords/\u0142ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.633966326713562},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5474841594696045},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5375238656997681},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5375003814697266},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4643303453922272},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.46430638432502747},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.4490181803703308},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.31348052620887756},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.19415509700775146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19199460744857788},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12014573812484741},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11903297901153564}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.795722246170044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6649477481842041},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.64133220911026},{"id":"https://openalex.org/C206321295","wikidata":"https://www.wikidata.org/wiki/Q8080919","display_name":"\u0141ukasiewicz logic","level":5,"score":0.633966326713562},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5474841594696045},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5375238656997681},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5375003814697266},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4643303453922272},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.46430638432502747},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.4490181803703308},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.31348052620887756},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.19415509700775146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19199460744857788},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12014573812484741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11903297901153564},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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.1109/fuzz48607.2020.9177858","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz48607.2020.9177858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},{"id":"pmh:oai:ruj.uj.edu.pl:item/251984","is_oa":true,"landing_page_url":"https://ruj.uj.edu.pl/xmlui/handle/item/251984","pdf_url":null,"source":{"id":"https://openalex.org/S4306401249","display_name":"Jagiellonian University Repository (Jagiellonian University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126596746","host_organization_name":"Jagiellonian University","host_organization_lineage":["https://openalex.org/I126596746"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:ruj.uj.edu.pl:item/251984","is_oa":true,"landing_page_url":"https://ruj.uj.edu.pl/xmlui/handle/item/251984","pdf_url":null,"source":{"id":"https://openalex.org/S4306401249","display_name":"Jagiellonian University Repository (Jagiellonian University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126596746","host_organization_name":"Jagiellonian University","host_organization_lineage":["https://openalex.org/I126596746"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1481062998","https://openalex.org/W1507897467","https://openalex.org/W1535833595","https://openalex.org/W1966449461","https://openalex.org/W1983382657","https://openalex.org/W2007561880","https://openalex.org/W2018899807","https://openalex.org/W2018919817","https://openalex.org/W2025385225","https://openalex.org/W2039830772","https://openalex.org/W2041006875","https://openalex.org/W2068486975","https://openalex.org/W2081349727","https://openalex.org/W2106356382","https://openalex.org/W2110182592","https://openalex.org/W2154492192","https://openalex.org/W2339286112","https://openalex.org/W2751699031","https://openalex.org/W4301014931","https://openalex.org/W6628757711","https://openalex.org/W6703770102","https://openalex.org/W6744026138"],"related_works":["https://openalex.org/W2900997821","https://openalex.org/W4388212652","https://openalex.org/W4237519953","https://openalex.org/W4294175725","https://openalex.org/W1980132852","https://openalex.org/W637989598","https://openalex.org/W312992224","https://openalex.org/W2310799747","https://openalex.org/W2952610483","https://openalex.org/W4299522860"],"abstract_inverted_index":{"In":[0,34],"this":[1,81],"paper,":[2],"we":[3,36,123],"focus":[4],"on":[5,26],"two":[6],"main":[7],"3-valued":[8],"logics":[9],"used":[10],"by":[11,96],"the":[12,20,27,48,51,64,77,90,107,112,117,128,133],"fuzzy":[13],"logic":[14,18],"community.":[15],"The":[16],"G\u00f6del-Dummett":[17,140],"and":[19,32,102,132,141],"\u0141ukasiewicz":[21,142],"one.":[22],"Both":[23],"are":[24,73],"based":[25],"same":[28],"language":[29],"of":[30,40,50,53,58,66,69,80,109,114,120,130,135],"implication":[31],"negation.":[33],"both,":[35],"consider":[37],"fragments":[38],"consisting":[39],"formulas":[41,57,68,137],"formed":[42],"with":[43],"one":[44],"variable.":[45],"We":[46,72],"investigate":[47],"proportion":[49],"number":[52,65,99],"true":[54],"(or":[55],"satisfiable)":[56],"a":[59,97],"certain":[60],"length":[61,84],"n":[62,85],"to":[63,87],"all":[67],"such":[70],"length.":[71],"especially":[74],"interested":[75],"in":[76],"asymptotic":[78],"behavior":[79],"fraction":[82],"when":[83],"tends":[86],"infinity.":[88],"If":[89],"limit":[91],"exists":[92],"it":[93],"is":[94,105],"represented":[95],"real":[98],"between":[100],"0":[101],"1":[103],"which":[104],"called":[106],"density":[108,113,129,134],"truth":[110,131],"or":[111],"SAT.":[115],"Using":[116],"powerful":[118],"theory":[119],"analytic":[121],"combinatorics,":[122],"state":[124],"several":[125],"results":[126],"comparing":[127],"satisfiable":[136],"for":[138],"both":[139],"logics.":[143]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}