{"id":"https://openalex.org/W7135074781","doi":"https://doi.org/10.26686/ajl.v23i2.9565","title":"Uniform Weak Kleene Logics","display_name":"Uniform Weak Kleene Logics","publication_year":2026,"publication_date":"2026-03-12","ids":{"openalex":"https://openalex.org/W7135074781","doi":"https://doi.org/10.26686/ajl.v23i2.9565"},"language":"en","primary_location":{"id":"doi:10.26686/ajl.v23i2.9565","is_oa":true,"landing_page_url":"https://doi.org/10.26686/ajl.v23i2.9565","pdf_url":"https://ojs.victoria.ac.nz/ajl/article/download/9565/9241","source":{"id":"https://openalex.org/S2765067559","display_name":"The Australasian Journal of Logic","issn_l":"1448-5052","issn":["1448-5052"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Australasian Journal of Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.victoria.ac.nz/ajl/article/download/9565/9241","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114615857","display_name":"Agustina Borzi","orcid":"https://orcid.org/0009-0008-4368-0444"},"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"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Agustina Borzi","raw_affiliation_strings":["IIF-SADAF (CONICET) and Department of Philosophy (University of Buenos Aires)"],"raw_orcid":"https://orcid.org/0009-0008-4368-0444","affiliations":[{"raw_affiliation_string":"IIF-SADAF (CONICET) and Department of Philosophy (University of Buenos Aires)","institution_ids":["https://openalex.org/I151201029"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5128857761","display_name":"Martina Zirattu","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Martina Zirattu","raw_affiliation_strings":["University of Turin"],"raw_orcid":"https://orcid.org/0009-0006-2069-1832","affiliations":[{"raw_affiliation_string":"University of Turin","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5114615857"],"corresponding_institution_ids":["https://openalex.org/I151201029"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39121126,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"2","first_page":"166","last_page":"201"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6676999926567078,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6676999926567078,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.2922999858856201,"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/T10126","display_name":"Logic, programming, and type systems","score":0.014600000344216824,"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/sequent","display_name":"Sequent","score":0.6656000018119812},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.6453999876976013},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.4803999960422516},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.43059998750686646},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4205999970436096},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.41519999504089355},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40790000557899475}],"concepts":[{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.6656000018119812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6564000248908997},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.6453999876976013},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.4803999960422516},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43540000915527344},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.41519999504089355},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40790000557899475},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.3693999946117401},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3504999876022339},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3458000123500824},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.3449999988079071},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.2948000133037567},{"id":"https://openalex.org/C137155000","wikidata":"https://www.wikidata.org/wiki/Q468422","display_name":"Law of excluded middle","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.2630999982357025},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.257099986076355}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.26686/ajl.v23i2.9565","is_oa":true,"landing_page_url":"https://doi.org/10.26686/ajl.v23i2.9565","pdf_url":"https://ojs.victoria.ac.nz/ajl/article/download/9565/9241","source":{"id":"https://openalex.org/S2765067559","display_name":"The Australasian Journal of Logic","issn_l":"1448-5052","issn":["1448-5052"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Australasian Journal of Logic","raw_type":"journal-article"},{"id":"pmh:oai:ojs.victoria.ac.nz:article/9565","is_oa":false,"landing_page_url":"http://ojs.victoria.ac.nz/ajl/article/view/9565","pdf_url":null,"source":{"id":"https://openalex.org/S4306400695","display_name":"Australasian Association of Logic and the Centre for Logic, Language and Computation at Victoria University. - The Australasian Journal of Logic","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"1448-5052","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:philarchive.org/rec/BORUWK","is_oa":false,"landing_page_url":"https://philarchive.org/rec/BORUWK","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/BORUWK","is_oa":false,"landing_page_url":"https://philpapers.org/rec/BORUWK","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zenodo.org:18980031","is_oa":true,"landing_page_url":"https://ojs.victoria.ac.nz/ajl/article/view/9565","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"The Australasian Journal of Logic, 23(2), (2026-03-12)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.26686/ajl.v23i2.9565","is_oa":true,"landing_page_url":"https://doi.org/10.26686/ajl.v23i2.9565","pdf_url":"https://ojs.victoria.ac.nz/ajl/article/download/9565/9241","source":{"id":"https://openalex.org/S2765067559","display_name":"The Australasian Journal of Logic","issn_l":"1448-5052","issn":["1448-5052"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Australasian Journal of Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2310846188","display_name":null,"funder_award_id":"101086295","funder_id":"https://openalex.org/F4320334322","funder_display_name":"HORIZON EUROPE Framework Programme"},{"id":"https://openalex.org/G5726662916","display_name":null,"funder_award_id":"101086295","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320309475","display_name":"Northwestern University","ror":"https://ror.org/000e0be47"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"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/F4320324041","display_name":"Universit\u00e0 degli Studi di Torino","ror":"https://ror.org/048tbm396"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7135074781.pdf","grobid_xml":"https://content.openalex.org/works/W7135074781.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,18],"a":[1,118,125],"multiple-premise":[2],"and":[3,16,36,63,88,102,137,139,149,155,165],"multiple-conclusion":[4],"setting,":[5],"logicians":[6],"typically":[7],"use":[8],"the":[9,29,33,38,42,49,96,99,103],"metalinguistic":[10],"expression":[11],"\",\"":[12],"to":[13,74,169],"gather":[14],"premises":[15],"conclusions.":[17],"most":[19],"logical":[20,120],"systems,":[21],"this":[22,46,71],"comma":[23,101],"can":[24,146],"be":[25],"freely":[26],"interchanged":[27],"with":[28,37,142],"object-language":[30,39,104],"conjunction":[31],"on":[32,41],"premise":[34],"side":[35],"disjunction":[40],"conclusion":[43],"side.":[44],"However,":[45],"is":[47,73],"not":[48],"case":[50],"for":[51,115,135,153,162],"Weak":[52,60,82],"Kleene":[53,61,83],"Logics":[54],"(WK":[55],"logics),":[56,86],"which":[57,90],"include":[58],"Paraconsistent":[59],"(PWK)":[62],"its":[64],"paracomplete":[65],"counterpart":[66],"(K3w).":[67],"The":[68],"aim":[69],"of":[70,131],"work":[72],"define":[75],"two":[76],"new":[77],"substructural":[78],"systems":[79],"called":[80],"uniform":[81,167],"logics":[84,164,173],"(uWK":[85],"uPWK":[87,154],"uK3w,":[89],"re-establish":[91],"what":[92],"we":[93,145,158],"call":[94],"\"Uniformity\":":[95],"correspondence":[97],"between":[98],"structural":[100],"WK":[105,163],"operators.":[106],"We":[107,122],"begin":[108],"by":[109],"providing":[110],"some":[111],"philosophical":[112],"arguments":[113],"advocating":[114],"it":[116],"as":[117],"desirable":[119],"feature.":[121],"then":[123],"introduce":[124],"novel":[126],"two-sided":[127],"sequent":[128,151],"calculus":[129],"free":[130],"linguistic":[132],"restrictions":[133],"both":[134],"PWK":[136],"K3w":[138],"show":[140],"that,":[141],"minor":[143],"adjustments,":[144],"achieve":[147],"sound":[148],"complete":[150],"calculi":[152],"uK3w.":[156],"Finally,":[157],"generalize":[159],"our":[160],"results":[161],"their":[166],"counterparts":[168],"other":[170],"infectious":[171],"Tarskian":[172],"that":[174],"meet":[175],"specific":[176],"criteria.":[177]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-03-13T00:00:00"}