{"id":"https://openalex.org/W4210617109","doi":"https://doi.org/10.1002/malq.202100046","title":"The algebraic significance of weak excluded middle laws","display_name":"The algebraic significance of weak excluded middle laws","publication_year":2022,"publication_date":"2022-01-29","ids":{"openalex":"https://openalex.org/W4210617109","doi":"https://doi.org/10.1002/malq.202100046"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202100046","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202100046","pdf_url":null,"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":"green","oa_url":"https://repository.up.ac.za/bitstream/2263/89229/1/Lavicka_Algebraic_2022.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010617044","display_name":"Tom\u00e1\u0161 L\u00e1vi\u010dka","orcid":"https://orcid.org/0000-0002-1006-3211"},"institutions":[{"id":"https://openalex.org/I4210119419","display_name":"Czech Academy of Sciences, Institute of Information Theory and Automation","ror":"https://ror.org/03h1hsz49","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210119419"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 L\u00e1vi\u010dka","raw_affiliation_strings":["Institute of Information Theory and Automation of the Czech Academy of Sciences Pod Vod\u00e1renskou v\u011b\u017e\u00ed 4 182 00 Prague 8 Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Theory and Automation of the Czech Academy of Sciences Pod Vod\u00e1renskou v\u011b\u017e\u00ed 4 182 00 Prague 8 Czech Republic","institution_ids":["https://openalex.org/I4210119419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031449832","display_name":"Tommaso Moraschini","orcid":"https://orcid.org/0000-0001-9784-3116"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Tommaso Moraschini","raw_affiliation_strings":["Department of Philosophy Faculty of Philosophy University of Barcelona Carrer de Montalegre 6 08001 Barcelona Spain","Department of Philosophy, Faculty of Philosophy, University of Barcelona, Carrer de Montalegre 6, 08001 Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy Faculty of Philosophy University of Barcelona Carrer de Montalegre 6 08001 Barcelona Spain","institution_ids":["https://openalex.org/I71999127"]},{"raw_affiliation_string":"Department of Philosophy, Faculty of Philosophy, University of Barcelona, Carrer de Montalegre 6, 08001 Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078866044","display_name":"James Raftery","orcid":"https://orcid.org/0000-0003-1071-2506"},"institutions":[{"id":"https://openalex.org/I69552723","display_name":"University of Pretoria","ror":"https://ror.org/00g0p6g84","country_code":"ZA","type":"education","lineage":["https://openalex.org/I69552723"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"James G. Raftery","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20 Hatfield Pretoria 0028 Republic of South Africa","Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 Republic of South Africa"],"raw_orcid":"https://orcid.org/0000-0003-1071-2506","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20 Hatfield Pretoria 0028 Republic of South Africa","institution_ids":["https://openalex.org/I69552723"]},{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 Republic of South Africa","institution_ids":["https://openalex.org/I69552723"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078866044"],"corresponding_institution_ids":["https://openalex.org/I69552723"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.3044,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.56703176,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"68","issue":"1","first_page":"79","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.9962000250816345,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9889000058174133,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8544753789901733},{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.8351619839668274},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.7377523183822632},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.7058000564575195},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5895887613296509},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4905487895011902},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.43852925300598145},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4324057996273041},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35789093375205994},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3572617769241333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.06784683465957642}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8544753789901733},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8351619839668274},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.7377523183822632},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7058000564575195},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5895887613296509},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4905487895011902},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.43852925300598145},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4324057996273041},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35789093375205994},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3572617769241333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.06784683465957642},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.202100046","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202100046","pdf_url":null,"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"},{"id":"pmh:oai:repository.up.ac.za:2263/89229","is_oa":true,"landing_page_url":"https://repository.up.ac.za/handle/2263/89229","pdf_url":"https://repository.up.ac.za/bitstream/2263/89229/1/Lavicka_Algebraic_2022.pdf","source":{"id":"https://openalex.org/S4306401870","display_name":"UpSpace Institutional Repository (University of Pretoria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I69552723","host_organization_name":"University of Pretoria","host_organization_lineage":["https://openalex.org/I69552723"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Postprint Article"}],"best_oa_location":{"id":"pmh:oai:repository.up.ac.za:2263/89229","is_oa":true,"landing_page_url":"https://repository.up.ac.za/handle/2263/89229","pdf_url":"https://repository.up.ac.za/bitstream/2263/89229/1/Lavicka_Algebraic_2022.pdf","source":{"id":"https://openalex.org/S4306401870","display_name":"UpSpace Institutional Repository (University of Pretoria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I69552723","host_organization_name":"University of Pretoria","host_organization_lineage":["https://openalex.org/I69552723"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Postprint Article"},"sustainable_development_goals":[{"score":0.6899999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1333096070","display_name":null,"funder_award_id":"BEAGAL18/00040","funder_id":"https://openalex.org/F4320334830","funder_display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca"},{"id":"https://openalex.org/G3690828678","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G3706471843","display_name":null,"funder_award_id":"BEAGAL18/00040","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G4174173025","display_name":null,"funder_award_id":"2017 SGR 95","funder_id":"https://openalex.org/F4320334830","funder_display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca"},{"id":"https://openalex.org/G6088965444","display_name":null,"funder_award_id":"UID 85407","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"},{"id":"https://openalex.org/G7379577056","display_name":null,"funder_award_id":"2017 SGR 95","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G7425137858","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G7607407265","display_name":null,"funder_award_id":"2017 SGR","funder_id":"https://openalex.org/F4320334830","funder_display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca"},{"id":"https://openalex.org/G8604411770","display_name":null,"funder_award_id":"PID2019-110843GA-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8970473815","display_name":null,"funder_award_id":"2017 SGR","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320334830","display_name":"Ag\u00e8ncia de Gesti\u00f3 d'Ajuts Universitaris i de Recerca","ror":"https://ror.org/01n4pqe45"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4210617109.pdf"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1529501154","https://openalex.org/W1541365419","https://openalex.org/W1556894108","https://openalex.org/W1593617641","https://openalex.org/W1884090924","https://openalex.org/W1984616877","https://openalex.org/W2000863671","https://openalex.org/W2002937553","https://openalex.org/W2018304653","https://openalex.org/W2034642607","https://openalex.org/W2043694271","https://openalex.org/W2051668492","https://openalex.org/W2056531162","https://openalex.org/W2062677486","https://openalex.org/W2062861017","https://openalex.org/W2071472291","https://openalex.org/W2085660860","https://openalex.org/W2087256242","https://openalex.org/W2093505637","https://openalex.org/W2093865192","https://openalex.org/W2095704391","https://openalex.org/W2110182592","https://openalex.org/W2118313805","https://openalex.org/W2128124354","https://openalex.org/W2171355054","https://openalex.org/W2759298633","https://openalex.org/W2784476171","https://openalex.org/W2784637464","https://openalex.org/W2784884329","https://openalex.org/W3036740691","https://openalex.org/W3100774355","https://openalex.org/W3102155869","https://openalex.org/W4205499427","https://openalex.org/W4213130966","https://openalex.org/W4242462843","https://openalex.org/W4247559916","https://openalex.org/W4252113473","https://openalex.org/W6650484267","https://openalex.org/W6650884427"],"related_works":["https://openalex.org/W2152083069","https://openalex.org/W2064847051","https://openalex.org/W2032611290","https://openalex.org/W2950106236","https://openalex.org/W4210813124","https://openalex.org/W3194296431","https://openalex.org/W4210617109","https://openalex.org/W1569914145","https://openalex.org/W4378194532","https://openalex.org/W4226392141"],"abstract_inverted_index":{"Abstract":[0],"For":[1],"(finitary)":[2],"deductive":[3,39],"systems,":[4],"we":[5],"formulate":[6],"a":[7,35,38,51,65,82,93,119,124,139],"signature\u2010independent":[8],"abstraction":[9],"of":[10,23,63,117,134],"the":[11,19,32,54,69,101,104],"weak":[12],"excluded":[13],"middle":[14],"law":[15],"(WEML),":[16],"which":[17],"strengthens":[18],"existing":[20],"general":[21,55],"notion":[22],"an":[24,75,136],"inconsistency":[25,76],"lemma":[26],"(IL).":[27],"Of":[28],"special":[29],"interest":[30],"is":[31],"case":[33],"where":[34],"quasivariety":[36],"algebraizes":[37],"system":[40],"\u22a2.":[41],"We":[42,99],"prove":[43],"that,":[44],"in":[45,81],"this":[46],"case,":[47],"if":[48,72],"\u22a2":[49,73],"has":[50,64,74,118,138],"WEML":[52,94,105,125],"(in":[53],"sense)":[56],"then":[57],"every":[58,131],"relatively":[59],"subdirectly":[60],"irreducible":[61],"member":[62],"greatest":[66],"proper":[67],"\u2010congruence;":[68],"converse":[70],"holds":[71],"lemma.":[77],"The":[78],"result":[79],"extends,":[80],"suitable":[83],"form,":[84],"to":[85],"all":[86],"protoalgebraic":[87],"logics.":[88,113],"A":[89,114],"super\u2010intuitionistic":[90],"logic":[91],"possesses":[92],"iff":[95,126],"it":[96,127],"extends":[97,128],".":[98],"characterize":[100],"IL":[102,137],"and":[103,110],"for":[106,111],"normal":[107,115],"modal":[108],"logics":[109],"relevance":[112],"extension":[116,133],"global":[120],"consequence":[121],"relation":[122],"with":[123,135],",":[129],"while":[130],"axiomatic":[132],"WEML.":[140]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}