{"id":"https://openalex.org/W4316038696","doi":"https://doi.org/10.18778/0138-0680.2022.23","title":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","display_name":"A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions","publication_year":2022,"publication_date":"2022-12-14","ids":{"openalex":"https://openalex.org/W4316038696","doi":"https://doi.org/10.18778/0138-0680.2022.23","mag":"2965954882"},"language":"en","primary_location":{"id":"doi:10.18778/0138-0680.2022.23","doi":"https://doi.org/10.18778/0138-0680.2022.23","is_oa":true,"landing_page_url":"https://doi.org/10.18778/0138-0680.2022.23","pdf_url":"https://czasopisma.uni.lodz.pl/bulletin/article/download/12505/15203","source":{"id":"https://openalex.org/S4210174469","display_name":"Bulletin of the Section of Logic","issn_l":"0138-0680","issn":["0138-0680","2449-836X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","ddh","doaj","erih-plus","jufo-1","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310320290","host_organization_name":"University of Lodz Press","host_organization_lineage":["https://openalex.org/P4310320290","https://openalex.org/P4310317463"],"host_organization_lineage_names":["University of Lodz Press","University of \u0141\u00f3d\u017a"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of the Section of Logic","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://czasopisma.uni.lodz.pl/bulletin/article/download/12505/15203","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014539817","display_name":"Juan M. Cornejo","orcid":"https://orcid.org/0000-0001-5718-403X","observed_orcids":["https://orcid.org/0000-0001-5718-403X"]},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4210125789","display_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Bah\u00eda Blanca","ror":"https://ror.org/03efzvv60","country_code":"AR","type":"facility","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210125789","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I4387156064","display_name":"Instituto de Matem\u00e1tica de Bah\u00eda Blanca","ror":"https://ror.org/041ttmq60","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4210125789","https://openalex.org/I4387155568","https://openalex.org/I4387156064","https://openalex.org/I56858762"]},{"id":"https://openalex.org/I56858762","display_name":"Universidad Nacional del Sur","ror":"https://ror.org/028crwz56","country_code":"AR","type":"education","lineage":["https://openalex.org/I56858762"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Juan Manuel Cornejo","raw_affiliation_strings":["Universidad Nacional del Sur, Departamento de Matem\u00e1tica, Bah\u00eda Blanca, Argentina; CONICET, INMABB, Bah\u00eda Blanca, Argentina","CONICET, INMABB, Bah\u00eda Blanca, Argentina","Universidad Nacional del Sur, Departamento de Matem\u00e1tica, Bah\u00eda Blanca, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Nacional del Sur, Departamento de Matem\u00e1tica, Bah\u00eda Blanca, Argentina; CONICET, INMABB, Bah\u00eda Blanca, Argentina","institution_ids":["https://openalex.org/I151201029","https://openalex.org/I4387156064","https://openalex.org/I56858762"]},{"raw_affiliation_string":"CONICET, INMABB, Bah\u00eda Blanca, Argentina","institution_ids":["https://openalex.org/I151201029","https://openalex.org/I4210125789","https://openalex.org/I4387156064"]},{"raw_affiliation_string":"Universidad Nacional del Sur, Departamento de Matem\u00e1tica, Bah\u00eda Blanca, Argentina","institution_ids":["https://openalex.org/I56858762"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046223615","display_name":"Hanamantagouda P. Sankappanavar","orcid":"https://orcid.org/0000-0001-6878-038X","observed_orcids":["https://orcid.org/0000-0001-6878-038X"]},"institutions":[{"id":"https://openalex.org/I1327163397","display_name":"State University of New York","ror":"https://ror.org/01q1z8k08","country_code":"US","type":"education","lineage":["https://openalex.org/I1327163397"]},{"id":"https://openalex.org/I157455823","display_name":"SUNY New Paltz","ror":"https://ror.org/03j3dv688","country_code":"US","type":"education","lineage":["https://openalex.org/I157455823"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hanamantagouda P. Sankappanavar","raw_affiliation_strings":["State University of New York, Department of Mathematics, New Paltz, New York, 12561, USA"],"raw_orcid":"https://orcid.org/0000-0001-6878-038X","affiliations":[{"raw_affiliation_string":"State University of New York, Department of Mathematics, New Paltz, New York, 12561, USA","institution_ids":["https://openalex.org/I1327163397","https://openalex.org/I157455823"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4399,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.80263648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"51","issue":"4","first_page":"555","last_page":"645"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":1.0,"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":1.0,"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.0,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.0,"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/algebraic-semantics","display_name":"algebraic semantics","score":0.7429999709129333},{"id":"https://openalex.org/keywords/algebraizability","display_name":"algebraizability","score":0.7990000247955322},{"id":"https://openalex.org/keywords/axiomatic-extensions","display_name":"axiomatic extensions","score":0.8339999914169312},{"id":"https://openalex.org/keywords/subvarieties","display_name":"subvarieties","score":0.5960000157356262},{"id":"https://openalex.org/keywords/deduction-theorem","display_name":"deduction theorem","score":0.7620000243186951},{"id":"https://openalex.org/keywords/ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.8550000190734863},{"id":"https://openalex.org/keywords/connexive-logic","display_name":"connexive logic","score":0.902999997138977},{"id":"https://openalex.org/keywords/weak-negation","display_name":"weak negation","score":0.6639999747276306}],"concepts":[{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.9120127558708191},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.8002378940582275},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6826218962669373},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6347482800483704},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5249155163764954},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5132749080657959},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.48738962411880493},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.44504332542419434},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.44121164083480835},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.42701610922813416},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4269038736820221},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4103662669658661},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39672189950942993},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.39188334345817566},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3674423098564148},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12324300408363342},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.09720942378044128},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.18778/0138-0680.2022.23","doi":"https://doi.org/10.18778/0138-0680.2022.23","is_oa":true,"landing_page_url":"https://doi.org/10.18778/0138-0680.2022.23","pdf_url":"https://czasopisma.uni.lodz.pl/bulletin/article/download/12505/15203","source":{"id":"https://openalex.org/S4210174469","display_name":"Bulletin of the Section of Logic","issn_l":"0138-0680","issn":["0138-0680","2449-836X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","ddh","doaj","erih-plus","jufo-1","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310320290","host_organization_name":"University of Lodz Press","host_organization_lineage":["https://openalex.org/P4310320290","https://openalex.org/P4310317463"],"host_organization_lineage_names":["University of Lodz Press","University of \u0141\u00f3d\u017a"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of the Section of Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1908.02403","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1908.02403","pdf_url":"https://arxiv.org/pdf/1908.02403","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dspace.uni.lodz.pl:11089/45872","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/11089/45872","pdf_url":"http://hdl.handle.net/11089/45872","source":{"id":"https://openalex.org/S4306401347","display_name":"University of Lodz Repository (University of \u0141\u00f3d\u017a)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I34250744","host_organization_name":"University of \u0141\u00f3d\u017a","host_organization_lineage":["https://openalex.org/I34250744"],"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":"","raw_type":"Other"},{"id":"mag:2965954882","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1908.02403.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:doaj.org/article:ffa30629bcc4426ca732c03845087a38","doi":null,"is_oa":false,"landing_page_url":"https://doaj.org/article/ffa30629bcc4426ca732c03845087a38","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bulletin of the Section of Logic, Vol 51, Iss 4, Pp 555-645 (2022)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1908.02403","doi":"https://doi.org/10.48550/arxiv.1908.02403","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1908.02403","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.18778/0138-0680.2022.23","doi":"https://doi.org/10.18778/0138-0680.2022.23","is_oa":true,"landing_page_url":"https://doi.org/10.18778/0138-0680.2022.23","pdf_url":"https://czasopisma.uni.lodz.pl/bulletin/article/download/12505/15203","source":{"id":"https://openalex.org/S4210174469","display_name":"Bulletin of the Section of Logic","issn_l":"0138-0680","issn":["0138-0680","2449-836X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","ddh","doaj","erih-plus","jufo-1","norway-1","poland-70","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310320290","host_organization_name":"University of Lodz Press","host_organization_lineage":["https://openalex.org/P4310320290","https://openalex.org/P4310317463"],"host_organization_lineage_names":["University of Lodz Press","University of \u0141\u00f3d\u017a"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of the Section of Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321594","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59"},{"id":"https://openalex.org/F4320323402","display_name":"Universidad Nacional del Sur","ror":"https://ror.org/028crwz56"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4316038696.pdf","grobid_xml":"https://content.openalex.org/works/W4316038696.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1519478560","https://openalex.org/W1538038291","https://openalex.org/W1554619471","https://openalex.org/W1982675993","https://openalex.org/W1994633855","https://openalex.org/W2002169743","https://openalex.org/W2037270680","https://openalex.org/W2041551352","https://openalex.org/W2074934605","https://openalex.org/W2090789107","https://openalex.org/W2094693809","https://openalex.org/W2095350535","https://openalex.org/W2106721686","https://openalex.org/W2123277462","https://openalex.org/W2284627727","https://openalex.org/W2315725505","https://openalex.org/W2322956382","https://openalex.org/W2554587139","https://openalex.org/W2730984253","https://openalex.org/W2811090832","https://openalex.org/W2912928183","https://openalex.org/W2914423195","https://openalex.org/W2973549683","https://openalex.org/W2993947149","https://openalex.org/W2999975986","https://openalex.org/W3122456069","https://openalex.org/W4224022614","https://openalex.org/W4252113473","https://openalex.org/W4293176479","https://openalex.org/W4312373209","https://openalex.org/W4313187500","https://openalex.org/W4389884331","https://openalex.org/W6629374833"],"related_works":["https://openalex.org/W2965954882","https://openalex.org/W1973860787","https://openalex.org/W2984609281","https://openalex.org/W2090789107","https://openalex.org/W4390508606","https://openalex.org/W2264018172","https://openalex.org/W4416943796","https://openalex.org/W2811090832","https://openalex.org/W639782591","https://openalex.org/W2123277462"],"abstract_inverted_index":{"The":[0,41],"variety":[1,33,53,143,163,229],"\\(\\mathbb{DHMSH}\\)":[2,34,164],"of":[3,19,39,47,54,60,72,83,98,132,157,174,177,185,187,204,227,263,275,290,313,321,327,331,335,347,367],"dually":[4,55,180,245,298,315],"hemimorphic":[5,56,89],"semi-Heyting":[6,20,57,90,248,319,325,333],"algebras":[7,21,58,326,334],"was":[8],"introduced":[9,105],"in":[10,129,154,206,279,351,357,377],"2011":[11],"by":[12,22,106,110,239,386],"the":[13,32,48,52,107,130,142,149,155,162,172,183,201,208,219,228,236,257,340,348,358,371,378],"second":[14],"author":[15,109],"as":[16,95,118,165,250,252],"an":[17,44,66,96],"expansion":[18,97],"a":[23,36,80,84,112,119,253,273],"dual":[24,120],"hemimorphism.":[25],"In":[26],"this":[27,280,352],"paper,":[28],"we":[29,78,199,213,283],"focus":[30],"on":[31],"from":[35],"logical":[37],"point":[38],"view.":[40],"paper":[42,341,353],"presents":[43],"extensive":[45,68],"investigation":[46],"logic":[49,86,100,150,194,220],"corresponding":[50,74,222,234,309,382],"to":[51,141,182,223,235,268,310,363],"and":[59,134,159,170,242,297,330],"its":[61,166],"axiomatic":[62,175,202],"extensions,":[63],"along":[64],"with":[65,139,161,342],"equally":[67],"universal":[69],"algebraic":[70,75,168],"study":[71],"their":[73,381],"semantics.":[76],"Firstly,":[77],"present":[79,214,284],"Hilbert-style":[81],"axiomatization":[82,191,255],"new":[85,190,216,254],"called":[87,103],"\"Dually":[88],"logic\"":[91],"(\\(\\mathcal{DHMSH}\\),":[92],"for":[93,192,256,286,307],"short),":[94],"semi-intuitionistic":[99],"\\(\\mathcal{SI}\\)":[101],"(also":[102],"\\(\\mathcal{SH}\\))":[104],"first":[108],"adding":[111],"weak":[113],"negation":[114],"(to":[115],"be":[116,269],"interpreted":[117],"hemimorphism).":[121],"We":[122,338],"then":[123],"prove":[124],"that":[125,135,148,171,360,380],"it":[126,136],"is":[127,137,146,152,179,195],"implicative":[128],"sense":[131,156,359,379],"Rasiowa":[133],"complete":[138],"respect":[140],"\\(\\mathbb{DHMSH}\\).":[144,188,230],"It":[145],"deduced":[147],"\\(\\mathcal{DHMSH}\\)":[151,178,205],"algebraizable":[153],"Blok":[158],"Pigozzi,":[160],"equivalent":[167],"semantics":[169],"lattice":[173,184],"extensions":[176,203],"isomorphic":[181],"subvarieties":[186,226,312],"A":[189],"Moisil's":[193],"also":[196,305],"obtained.":[197],"Secondly,":[198],"characterize":[200],"which":[207,276],"\"Deduction":[209],"Theorem\"":[210],"holds.":[211],"Thirdly,":[212],"several":[215,224],"logics,":[217,271],"extending":[218],"\\(\\mathcal{DHMSH}\\),":[221],"important":[225],"These":[231],"include":[232],"logics":[233,265,291,296,308,349,356],"varieties":[237,383],"generated":[238,385],"two-element,":[240],"three-element":[241],"some":[243,343],"four-element":[244],"quasi-De":[246,316],"Morgan":[247,294,317,324],"algebras,":[249,320],"well":[251],"3-valued":[258],"\u0141ukasiewicz":[259],"logic.":[260],"Surprisingly,":[261],"many":[262,311],"these":[264],"turn":[266],"out":[267],"connexive":[270],"only":[272],"few":[274],"are":[277,304,354,374,384],"presented":[278],"paper.":[281],"Fourthly,":[282],"axiomatizations":[285,303],"two":[287],"infinite":[288],"sequences":[289],"namely,":[292],"De":[293,323],"G\u00f6del":[295,300],"pseudocomplemented":[299],"logics.":[301],"Fifthly,":[302],"provided":[306],"regular":[314,322],"Stone":[318],"level":[328,336],"1,":[329],"JI-distributive":[332],"1.":[337],"conclude":[339],"open":[344],"problems.":[345],"Most":[346],"considered":[350],"discriminator":[355,364],"they":[361],"correspond":[362],"varieties.":[365],"Some":[366],"them,":[368],"just":[369],"like":[370],"classical":[372],"logic,":[373],"even":[375],"primal":[376,387],"algebras.":[388]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2023-01-14T00:00:00"}