{"id":"https://openalex.org/W4407553934","doi":"https://doi.org/10.1007/s11225-024-10166-6","title":"On a Generalization of all Strong Kleene Generalizations of Classical Logic","display_name":"On a Generalization of all Strong Kleene Generalizations of Classical Logic","publication_year":2025,"publication_date":"2025-02-13","ids":{"openalex":"https://openalex.org/W4407553934","doi":"https://doi.org/10.1007/s11225-024-10166-6"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-024-10166-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10166-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10166-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10166-6.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043044544","display_name":"Pablo Cobreros","orcid":"https://orcid.org/0000-0001-8239-5373"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Pablo Cobreros","raw_affiliation_strings":["Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0001-8239-5373","affiliations":[{"raw_affiliation_string":"Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116263108","display_name":"Isabel Gr\u00e1balos","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Isabel Gr\u00e1balos","raw_affiliation_strings":["Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004208863","display_name":"Joaqu\u00edn Toranzo Calder\u00f3n","orcid":"https://orcid.org/0000-0003-1297-0912"},"institutions":[{"id":"https://openalex.org/I232641801","display_name":"Universidad Torcuato Di Tella","ror":"https://ror.org/04sxme922","country_code":"AR","type":"education","lineage":["https://openalex.org/I232641801"]},{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Joaqu\u00edn S. Toranzo Calder\u00f3n","raw_affiliation_strings":["Universit\u00e0li Studi di Torino, Universidad de Buenos Aires, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0003-1297-0912","affiliations":[{"raw_affiliation_string":"Universit\u00e0li Studi di Torino, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I232641801"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116263109","display_name":"Javier Vi\u00f1eta","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Javier Vi\u00f1eta","raw_affiliation_strings":["Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5116263110","display_name":"artina Zirattu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martina Zirattu","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0006-2069-1832","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5043044544"],"corresponding_institution_ids":["https://openalex.org/I24354313"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.0768,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76751091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"114","issue":"3","first_page":"639","last_page":"671"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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.9997000098228455,"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.9972000122070312,"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.9955000281333923,"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/generalization","display_name":"Generalization","score":0.7559441328048706},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"Computational linguistics","score":0.5962768197059631},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5395376682281494},{"id":"https://openalex.org/keywords/kleene-algebra","display_name":"Kleene algebra","score":0.4882397949695587},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4871527850627899},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4757102131843567},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4248526096343994},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3737097382545471},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36237823963165283},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2900479733943939},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24180713295936584},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.236226886510849}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7559441328048706},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.5962768197059631},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5395376682281494},{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.4882397949695587},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4871527850627899},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4757102131843567},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4248526096343994},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3737097382545471},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36237823963165283},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2900479733943939},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24180713295936584},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.236226886510849},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11225-024-10166-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10166-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10166-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:14899013","is_oa":true,"landing_page_url":"https://link.springer.com/article/10.1007/s11225-024-10166-6","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":"Studia Logica, (2025-02-13)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s11225-024-10166-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-024-10166-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-024-10166-6.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/G7438701514","display_name":"Philosophical, Logical, and Experimental routes to substructurality","funder_award_id":"101086295","funder_id":"https://openalex.org/F4320338438","funder_display_name":"HORIZON EUROPE Marie Sklodowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320338438","display_name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407553934.pdf","grobid_xml":"https://content.openalex.org/works/W4407553934.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1487409515","https://openalex.org/W1507869618","https://openalex.org/W1551030425","https://openalex.org/W1999598455","https://openalex.org/W2048528677","https://openalex.org/W2115752650","https://openalex.org/W2133106305","https://openalex.org/W2284844693","https://openalex.org/W2324574773","https://openalex.org/W2903460623","https://openalex.org/W2938145278","https://openalex.org/W2953018217","https://openalex.org/W2998600196","https://openalex.org/W3008195930","https://openalex.org/W3083016359","https://openalex.org/W3185325595","https://openalex.org/W3194539205","https://openalex.org/W3196623322","https://openalex.org/W3200773215","https://openalex.org/W3215699654","https://openalex.org/W4233253115","https://openalex.org/W4240349388","https://openalex.org/W4388778205"],"related_works":["https://openalex.org/W2965204445","https://openalex.org/W377785333","https://openalex.org/W2068420249","https://openalex.org/W2038418330","https://openalex.org/W4248860114","https://openalex.org/W3107614651","https://openalex.org/W2160417070","https://openalex.org/W2080606709","https://openalex.org/W615858641","https://openalex.org/W2037668023"],"abstract_inverted_index":{"Abstract":[0],"In":[1,139],"his":[2,121],"2016":[3],"article":[4],"On":[5],"All":[6],"Strong":[7],"Kleene":[8],"Generalizations":[9],"of":[10,25,67,88,91,98,102,111,119,134,166],"Classical":[11],"Logic":[12],",":[13,49],"Stefan":[14],"Wintein":[15,115],"provides":[16],"a":[17,89,126,154],"detailed":[18],"and":[19,22],"comprehensive":[20],"semantic":[21],"tableau-based":[23],"analysis":[24],"the":[26,34,65,79,99,109,132,164],"consequence":[27,41,85],"relations":[28,42,75,104],"that":[29,76,96],"can":[30,162],"be":[31],"defined":[32],"over":[33],"four-valued":[35],"Belnap\u2013Dunn":[36],"semantics.":[37],"These":[38],"include":[39],"familiar":[40,74],"like":[43],"$$\\textsf{FDE}$$":[44],"<mml:math":[45,54],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[46,55],"<mml:mi>FDE</mml:mi>":[47],"</mml:math>":[48,63],"which":[50,160],"takes":[51],"$$\\{t,":[52],"b\\}$$":[53],"<mml:mrow>":[56],"<mml:mo>{</mml:mo>":[57],"<mml:mi>t</mml:mi>":[58],"<mml:mo>,</mml:mo>":[59],"<mml:mi>b</mml:mi>":[60],"<mml:mo>}</mml:mo>":[61],"</mml:mrow>":[62],"as":[64,86],"set":[66,90],"designated":[68],"values,":[69],"but":[70],"also":[71],"much":[72],"less":[73],"don\u2019t":[77],"follow":[78],"designated-value":[80],"strategy":[81],"(i.e.":[82],"defining":[83],"logical":[84],"preservation":[87],"values).":[92],"It":[93],"turns":[94],"out":[95],"many":[97],"interesting":[100],"features":[101],"these":[103,137],"are":[105],"made":[106],"evident":[107],"at":[108],"level":[110],"metainferences":[112,135],"and,":[113],"although":[114],"discusses":[116],"some":[117],"aspects":[118],"metainferences,":[120],"work":[122],"does":[123],"not":[124],"provide":[125],"systematic":[127],"way":[128],"to":[129,148],"decide":[130],"on":[131],"validity":[133],"for":[136],"logics.":[138],"this":[140],"paper,":[141],"we":[142,161],"extend":[143],"Wintein\u2019s":[144],"tableaux":[145],"from":[146],"inferences":[147],"metainferences.":[149],"The":[150],"paper":[151],"ends":[152],"with":[153],"discussion":[155],"about":[156],"different":[157],"ways":[158],"in":[159],"understand":[163],"notion":[165],"metainference":[167],"validity.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}