{"id":"https://openalex.org/W2802580558","doi":"https://doi.org/10.3233/jifs-171197","title":"Some types of ideals in residuated lattices","display_name":"Some types of ideals in residuated lattices","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2802580558","doi":"https://doi.org/10.3233/jifs-171197","mag":"2802580558"},"language":"en","primary_location":{"id":"doi:10.3233/jifs-171197","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-171197","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072514979","display_name":"S. Khosravi Shoar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210161235","display_name":"Fasa University of Medical Sciences","ror":"https://ror.org/05bh0zx16","country_code":"IR","type":"education","lineage":["https://openalex.org/I4210161235"]},{"id":"https://openalex.org/I4400600978","display_name":"Fasa University","ror":"https://ror.org/03a77cf20","country_code":null,"type":"education","lineage":["https://openalex.org/I4400600978"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"S. Khosravi Shoar","raw_affiliation_strings":["Department of Mathematics, Fasa University, Fasa, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Fasa University, Fasa, Iran","institution_ids":["https://openalex.org/I4210161235","https://openalex.org/I4400600978"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072514979"],"corresponding_institution_ids":["https://openalex.org/I4210161235","https://openalex.org/I4400600978"],"apc_list":null,"apc_paid":null,"fwci":0.4039,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62364736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"35","issue":"5","first_page":"5647","last_page":"5655"},"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.9973000288009644,"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.9944999814033508,"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/mathematics","display_name":"Mathematics","score":0.7486470937728882},{"id":"https://openalex.org/keywords/boolean-prime-ideal-theorem","display_name":"Boolean prime ideal theorem","score":0.7202679514884949},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.6746437549591064},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.6415148973464966},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.6321770548820496},{"id":"https://openalex.org/keywords/residuated-lattice","display_name":"Residuated lattice","score":0.47557058930397034},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.1644822657108307},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.127137690782547},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12275487184524536},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07716616988182068},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.05381143093109131},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.036348313093185425}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7486470937728882},{"id":"https://openalex.org/C175958551","wikidata":"https://www.wikidata.org/wiki/Q872088","display_name":"Boolean prime ideal theorem","level":3,"score":0.7202679514884949},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6746437549591064},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.6415148973464966},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6321770548820496},{"id":"https://openalex.org/C2781278839","wikidata":"https://www.wikidata.org/wiki/Q9462417","display_name":"Residuated lattice","level":3,"score":0.47557058930397034},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.1644822657108307},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.127137690782547},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12275487184524536},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07716616988182068},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.05381143093109131},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.036348313093185425},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jifs-171197","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jifs-171197","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W109420735","https://openalex.org/W1574961945","https://openalex.org/W1589287016","https://openalex.org/W1966289666","https://openalex.org/W1983382657","https://openalex.org/W2016598711","https://openalex.org/W2023370551","https://openalex.org/W2066547432","https://openalex.org/W2076771301","https://openalex.org/W2083614943","https://openalex.org/W2094027511","https://openalex.org/W2110182592","https://openalex.org/W2116397411","https://openalex.org/W2141313404","https://openalex.org/W2149406562","https://openalex.org/W2503183515","https://openalex.org/W4213427446","https://openalex.org/W4239329304","https://openalex.org/W6635204691","https://openalex.org/W6654467502"],"related_works":["https://openalex.org/W3195575934","https://openalex.org/W2350535624","https://openalex.org/W3089038997","https://openalex.org/W3019171134","https://openalex.org/W2016598711","https://openalex.org/W3198669146","https://openalex.org/W4327863096","https://openalex.org/W2951549393","https://openalex.org/W4297200220","https://openalex.org/W4401624143"],"abstract_inverted_index":{"It":[0],"is":[1,55],"clear":[2],"to":[3],"characterize":[4],"logic":[5],"algebras,":[6],"ideals":[7,23,29,36,49,73,95,97,111,130],"and":[8,24,37,50,80,96,101,112,122,135],"filters":[9],"play":[10],"important":[11],"role,":[12],"therefore":[13],"in":[14,39,65,74,87,102,119],"this":[15],"research,":[16],"we":[17,84],"survey":[18],"the":[19,45,60,69,91,99,104,126],"structure":[20],"of":[21,28,47,93,106],"various":[22],"find":[25],"some":[26],"types":[27],"such":[30],"as":[31],"positive":[32],"implicative":[33],"ideals,":[34,108,109],"strong":[35,77,88,110,133],"MV-ideals":[38,113],"residuated":[40,75,78,89,120],"lattices.":[41],"We":[42,67,124],"also":[43],"introduce":[44],"concept":[46,92],"quasi":[48,57,94,107],"show":[51],"that":[52,86],"any":[53],"ideal":[54],"a":[56],"ideal,":[58],"but":[59],"converse":[61],"does":[62],"not":[63],"hold":[64],"general.":[66],"clarify":[68],"relations":[70],"between":[71,128],"these":[72,129],"lattices,":[76],"lattices":[79,90,121],"BL-algebras.":[81],"For":[82],"instance,":[83],"prove":[85],"are":[98,117],"same":[100],"BL-algebras":[103],"concepts":[105],"coincide,":[114],"whereas":[115],"they":[116],"different":[118],"MTL-algebras.":[123],"detect":[125],"relation":[127],"with":[131],"MV-algebras,":[132],"algebras":[134],"Boolean":[136],"algebras.":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}