{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T15:40:27Z","timestamp":1774453227343,"version":"3.50.1"},"reference-count":19,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T00:00:00Z","timestamp":1690934400000},"content-version":"vor","delay-in-days":93,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2023,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We use the left self\u2010distributive axiom to introduce and study a special class of weak Heyting algebras, called self\u2010distributive weak Heyting algebras (SDWH\u2010algebras). We present some useful properties of SDWH\u2010algebras and obtain some equivalent conditions of them. A characteristic of SDWH\u2010algebras of orders 3 and 4 is given. Finally, we study the relation between the variety of SDWH\u2010algebras and some of the known subvarieties of weak Heyting algebras such as the variety of Heyting algebras, the variety of basic algebras, the variety of subresiduated lattices, the variety of reflexive WH\u2010algebras (RWH\u2010algebras), and the variety of transitive WH\u2010algebras (TWH\u2010algebras).<\/jats:p>","DOI":"10.1002\/malq.202200073","type":"journal-article","created":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T11:08:55Z","timestamp":1690974535000},"page":"192-206","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On self\u2010distributive weak Heyting algebras"],"prefix":"10.1002","volume":"69","author":[{"given":"Mohsen","family":"Nourany","sequence":"first","affiliation":[{"name":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3724-8654","authenticated-orcid":false,"given":"Shokoofeh","family":"Ghorbani","sequence":"additional","affiliation":[{"name":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arsham Borumand","family":"Saeid","sequence":"additional","affiliation":[{"name":"Department of Pure Mathematics Faculty of Mathematics and Computer Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2023,8,2]]},"reference":[{"key":"e_1_2_8_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310077"},{"key":"e_1_2_8_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200510016"},{"key":"e_1_2_8_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzu033"},{"key":"e_1_2_8_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19980440304"},{"key":"e_1_2_8_6_1","volume-title":"Fuzzy Implications","author":"Baczynski M.","year":"2008"},{"key":"e_1_2_8_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1976-14006-2"},{"key":"e_1_2_8_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-022-06807-4"},{"key":"e_1_2_8_9_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1063372244"},{"key":"e_1_2_8_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410022"},{"key":"e_1_2_8_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200510041"},{"key":"e_1_2_8_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19760220128"},{"key":"e_1_2_8_13_1","article-title":"Finitely generated free Heyting algebras via Birkhoff duality and coalgebra","volume":"7","author":"Gehrke M.","year":"2011","journal-title":"Log. Methods Comput. Sci."},{"key":"e_1_2_8_14_1","unstructured":"L. F.Monteiro J. M.Cornejo andI. D.Viglizzo A recursive formula for the number of semi\u2010Heyting algebras definable on a finite chain arXiv:1710.02408 (2017)."},{"key":"e_1_2_8_15_1","series-title":"Quaestiones Infinitae","first-page":"121","volume-title":"Dirk van Dalen Festschrift","author":"Ruitenburg W.","year":"1993"},{"key":"e_1_2_8_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-015-0317-4"},{"key":"e_1_2_8_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-016-0381-4"},{"key":"e_1_2_8_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-016-2188-9"},{"key":"e_1_2_8_19_1","unstructured":"H. P.Sankappanavar Semi\u2010Heyting algebras: an abstraction from Heyting algebras in:Actas del IX Congreso Dr. A. Monteiro(Universidad Nacional del Sur 2007) pp.33\u201366."},{"key":"e_1_2_8_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01874706"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202200073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T16:06:14Z","timestamp":1691769974000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202200073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["10.1002\/malq.202200073"],"URL":"https:\/\/doi.org\/10.1002\/malq.202200073","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5]]},"assertion":[{"value":"2022-12-20","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-02-06","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}