{"id":"https://openalex.org/W4400402810","doi":"https://doi.org/10.1002/malq.202300021","title":"On the implicative\u2010infimum subreducts of weak Heyting algebras","display_name":"On the implicative\u2010infimum subreducts of weak Heyting algebras","publication_year":2024,"publication_date":"2024-05-01","ids":{"openalex":"https://openalex.org/W4400402810","doi":"https://doi.org/10.1002/malq.202300021"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202300021","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202300021","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076062079","display_name":"Sergio A. Celani","orcid":"https://orcid.org/0000-0003-2542-4128"},"institutions":[{"id":"https://openalex.org/I3130805194","display_name":"Universidad Nacional del Centro de la Provincia de Buenos Aires","ror":"https://ror.org/011gakh74","country_code":"AR","type":"education","lineage":["https://openalex.org/I3130805194"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Sergio Celani","raw_affiliation_strings":["Departamento de Matem\u00e1tica Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires, and Conicet Tandil Argentina"],"raw_orcid":"https://orcid.org/0000-0003-2542-4128","affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires, and Conicet Tandil Argentina","institution_ids":["https://openalex.org/I3130805194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082353140","display_name":"Hern\u00e1n Javier San Mart\u00edn","orcid":"https://orcid.org/0000-0002-9187-0970"},"institutions":[{"id":"https://openalex.org/I874386039","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929","country_code":"AR","type":"education","lineage":["https://openalex.org/I874386039"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Hern\u00e1n J. San Mart\u00edn","raw_affiliation_strings":["Centro de Matem\u00e1tica de La Plata (CMaLP) Facultad de Ciencias Exactas, Universidad Nacional de La Plata, and Conicet La Plata Argentina"],"raw_orcid":"https://orcid.org/0000-0002-9187-0970","affiliations":[{"raw_affiliation_string":"Centro de Matem\u00e1tica de La Plata (CMaLP) Facultad de Ciencias Exactas, Universidad Nacional de La Plata, and Conicet La Plata Argentina","institution_ids":["https://openalex.org/I874386039"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082353140"],"corresponding_institution_ids":["https://openalex.org/I874386039"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.8729,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75535209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"70","issue":"2","first_page":"178","last_page":"196"},"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.9976999759674072,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9950000047683716,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8973498344421387},{"id":"https://openalex.org/keywords/infimum-and-supremum","display_name":"Infimum and supremum","score":0.8865026235580444},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5361682176589966},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2868911921977997}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8973498344421387},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.8865026235580444},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5361682176589966},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2868911921977997}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.202300021","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202300021","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G1216030856","display_name":null,"funder_award_id":"11X/921","funder_id":"https://openalex.org/F4320322227","funder_display_name":"Universidad Nacional de La Plata"},{"id":"https://openalex.org/G4662424825","display_name":null,"funder_award_id":"PIP 11220200100912CO","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"},{"id":"https://openalex.org/G6372356276","display_name":null,"funder_award_id":"PICT2019\u20102019\u201000882","funder_id":"https://openalex.org/F4320334832","funder_display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica"},{"id":"https://openalex.org/G8258332","display_name":null,"funder_award_id":"PIP 11220170100195CO","funder_id":"https://openalex.org/F4320321594","funder_display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas"}],"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/F4320322227","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929"},{"id":"https://openalex.org/F4320334832","display_name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","ror":"https://ror.org/03stxzb56"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W297605224","https://openalex.org/W2057022920","https://openalex.org/W2060027303","https://openalex.org/W2061319273","https://openalex.org/W2067332512","https://openalex.org/W2092912714","https://openalex.org/W2127286919","https://openalex.org/W2170705465","https://openalex.org/W2339423434","https://openalex.org/W2949205883","https://openalex.org/W3035511849","https://openalex.org/W3047122219","https://openalex.org/W4210906180","https://openalex.org/W4211144022","https://openalex.org/W4281713154","https://openalex.org/W4281750339","https://openalex.org/W4284895629","https://openalex.org/W4400925430"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2953175190","https://openalex.org/W2257286100","https://openalex.org/W4288318511","https://openalex.org/W2562705109","https://openalex.org/W2099602951","https://openalex.org/W2098184873","https://openalex.org/W4283118620","https://openalex.org/W2012159417","https://openalex.org/W3033742928"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"variety":[2,107],"of":[3,22,36,39,48,54,72,91,94,131],"weak":[4,55,95],"Heyting":[5,49,56,96],"algebras":[6,50],"was":[7],"introduced":[8,60],"in":[9],"2005":[10],"by":[11,64,80,108],"Celani":[12],"and":[13,51,66,82],"Jansana.":[14],"This":[15],"corresponds":[16],"to":[17],"the":[18,23,32,37,62,89,122,128],"strict":[19],"implication":[20,77],"fragment":[21],"normal":[24],"modal":[25],"logic":[26],"which":[27],"is":[28,105],"also":[29,116],"known":[30],"as":[31,68],"subintuitionistic":[33],"local":[34],"consequence":[35],"class":[38,90,104],"all":[40],"Kripke":[41],"models.":[42],"Subresiduated":[43],"lattices":[44],"are":[45,127],"a":[46,106,118],"generalization":[47],"particular":[52],"cases":[53],"algebras.":[57,97],"They":[58],"were":[59],"during":[61],"1970s":[63],"Epstein":[65],"Horn":[67],"an":[69,110],"algebraic":[70,123],"counterpart":[71],"some":[73],"logics":[74],"with":[75],"strong":[76],"previously":[78],"studied":[79],"Lewy":[81],"Hacking.":[83],"In":[84,98],"this":[85,103],"paper":[86],"we":[87,100],"study":[88],"implicative\u2010infimum":[92,129],"subreducts":[93,130],"particular,":[99],"prove":[101],"that":[102],"giving":[109],"equational":[111],"base":[112],"for":[113,121],"it.":[114],"We":[115],"present":[117],"topological":[119],"duality":[120],"category":[124],"whose":[125],"objects":[126],"subresiduated":[132],"lattices.":[133]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}