{"id":"https://openalex.org/W4385493048","doi":"https://doi.org/10.1002/malq.202200073","title":"On self\u2010distributive weak Heyting algebras","display_name":"On self\u2010distributive weak Heyting algebras","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4385493048","doi":"https://doi.org/10.1002/malq.202200073"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202200073","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.202200073","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.202200073","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.202200073","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092583201","display_name":"Mohsen Nourany","orcid":null},"institutions":[{"id":"https://openalex.org/I4210113791","display_name":"Chemistry and Chemical Engineering Research Center of Iran","ror":"https://ror.org/020sjp894","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210113791"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mohsen Nourany","raw_affiliation_strings":["Department of Pure Mathematics Faculty of Mathematics and Computer Iran","Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran","institution_ids":["https://openalex.org/I4210113791"]},{"raw_affiliation_string":"Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048505221","display_name":"Shokoofeh Ghorbani","orcid":"https://orcid.org/0000-0002-3724-8654"},"institutions":[{"id":"https://openalex.org/I4210113791","display_name":"Chemistry and Chemical Engineering Research Center of Iran","ror":"https://ror.org/020sjp894","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210113791"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Shokoofeh Ghorbani","raw_affiliation_strings":["Department of Pure Mathematics Faculty of Mathematics and Computer Iran","Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran"],"raw_orcid":"https://orcid.org/0000-0002-3724-8654","affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran","institution_ids":["https://openalex.org/I4210113791"]},{"raw_affiliation_string":"Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068978370","display_name":"Arsham Borumand Saeid","orcid":"https://orcid.org/0000-0001-9495-6027"},"institutions":[{"id":"https://openalex.org/I4210113791","display_name":"Chemistry and Chemical Engineering Research Center of Iran","ror":"https://ror.org/020sjp894","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210113791"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Arsham Borumand Saeid","raw_affiliation_strings":["Department of Pure Mathematics Faculty of Mathematics and Computer Iran","Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran","institution_ids":["https://openalex.org/I4210113791"]},{"raw_affiliation_string":"Department of Pure Mathematics, Faculty of Mathematics and Computer, Iran","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048505221"],"corresponding_institution_ids":["https://openalex.org/I4210113791"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":{"value":2630,"currency":"USD","value_usd":2630},"fwci":0.5691,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70856248,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"69","issue":"2","first_page":"192","last_page":"206"},"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.9955999851226807,"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.9941999912261963,"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/heyting-algebra","display_name":"Heyting algebra","score":0.9190298914909363},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.8011022806167603},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.7859179973602295},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7401033639907837},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.6758134961128235},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.6246327757835388},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5145222544670105},{"id":"https://openalex.org/keywords/subalgebra","display_name":"Subalgebra","score":0.48438626527786255},{"id":"https://openalex.org/keywords/nest-algebra","display_name":"Nest algebra","score":0.45950883626937866},{"id":"https://openalex.org/keywords/non-associative-algebra","display_name":"Non-associative algebra","score":0.42978015542030334},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.42560875415802},{"id":"https://openalex.org/keywords/quadratic-algebra","display_name":"Quadratic algebra","score":0.4114604890346527},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37379324436187744},{"id":"https://openalex.org/keywords/division-algebra","display_name":"Division algebra","score":0.26231998205184937},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.24164840579032898},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10626259446144104}],"concepts":[{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.9190298914909363},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.8011022806167603},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.7859179973602295},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7401033639907837},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.6758134961128235},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.6246327757835388},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5145222544670105},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.48438626527786255},{"id":"https://openalex.org/C207264727","wikidata":"https://www.wikidata.org/wiki/Q6997759","display_name":"Nest algebra","level":5,"score":0.45950883626937866},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.42978015542030334},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.42560875415802},{"id":"https://openalex.org/C104736235","wikidata":"https://www.wikidata.org/wiki/Q7268354","display_name":"Quadratic algebra","level":5,"score":0.4114604890346527},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37379324436187744},{"id":"https://openalex.org/C138354692","wikidata":"https://www.wikidata.org/wiki/Q1231309","display_name":"Division algebra","level":4,"score":0.26231998205184937},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.24164840579032898},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10626259446144104},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.202200073","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.202200073","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.202200073","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/malq.202200073","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.202200073","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.202200073","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385493048.pdf","grobid_xml":"https://content.openalex.org/works/W4385493048.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1602530701","https://openalex.org/W1983769892","https://openalex.org/W2060027303","https://openalex.org/W2061319273","https://openalex.org/W2067332512","https://openalex.org/W2070878538","https://openalex.org/W2078182209","https://openalex.org/W2091886572","https://openalex.org/W2109494992","https://openalex.org/W2127286919","https://openalex.org/W2170705465","https://openalex.org/W2339423434","https://openalex.org/W2405703447","https://openalex.org/W2949205883","https://openalex.org/W4210906180"],"related_works":["https://openalex.org/W4330339812","https://openalex.org/W1966013872","https://openalex.org/W1871060787","https://openalex.org/W2945617276","https://openalex.org/W4297804032","https://openalex.org/W2389970742","https://openalex.org/W2129239480","https://openalex.org/W4225789412","https://openalex.org/W3001838636","https://openalex.org/W4253610115"],"abstract_inverted_index":{"Abstract":[0],"We":[1,24],"use":[2],"the":[3,52,55,62,71,76,81,86,93],"left":[4],"self\u2010distributive":[5,19],"axiom":[6],"to":[7],"introduce":[8],"and":[9,31,45,59,92],"study":[10,51],"a":[11],"special":[12],"class":[13],"of":[14,29,36,40,42,57,61,65,73,78,83,88,95],"weak":[15,20,66],"Heyting":[16,21,67,74],"algebras,":[17,75,80],"called":[18],"algebras":[22,68],"(SDWH\u2010algebras).":[23],"present":[25],"some":[26,33,60],"useful":[27],"properties":[28],"SDWH\u2010algebras":[30,41,58],"obtain":[32],"equivalent":[34],"conditions":[35],"them.":[37],"A":[38],"characteristic":[39],"orders":[43],"3":[44],"4":[46],"is":[47],"given.":[48],"Finally,":[49],"we":[50],"relation":[53],"between":[54],"variety":[56,72,77,82,87,94],"known":[63],"subvarieties":[64],"such":[69],"as":[70],"basic":[79],"subresiduated":[84],"lattices,":[85],"reflexive":[89],"WH\u2010algebras":[90,97],"(RWH\u2010algebras),":[91],"transitive":[96],"(TWH\u2010algebras).":[98]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}