{"id":"https://openalex.org/W4212932800","doi":"https://doi.org/10.1007/s11787-022-00293-w","title":"Tableaux for Logics of Content Relationship and Set-Assignment Semantics","display_name":"Tableaux for Logics of Content Relationship and Set-Assignment Semantics","publication_year":2022,"publication_date":"2022-02-16","ids":{"openalex":"https://openalex.org/W4212932800","doi":"https://doi.org/10.1007/s11787-022-00293-w"},"language":"en","primary_location":{"id":"doi:10.1007/s11787-022-00293-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-022-00293-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-022-00293-w.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","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/s11787-022-00293-w.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007737878","display_name":"Tomasz Jarmu\u017cek","orcid":"https://orcid.org/0000-0003-3456-3859"},"institutions":[{"id":"https://openalex.org/I3019271933","display_name":"Nicolaus Copernicus University","ror":"https://ror.org/0102mm775","country_code":"PL","type":"education","lineage":["https://openalex.org/I3019271933"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Tomasz Jarmu\u017cek","raw_affiliation_strings":["Department of Logic, Nicolaus Copernicus University, Moniuszki 16, 87-100, Toru\u0144, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Logic, Nicolaus Copernicus University, Moniuszki 16, 87-100, Toru\u0144, Poland","institution_ids":["https://openalex.org/I3019271933"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072693044","display_name":"Mateusz Klonowski","orcid":"https://orcid.org/0000-0001-8616-9189"},"institutions":[{"id":"https://openalex.org/I3019271933","display_name":"Nicolaus Copernicus University","ror":"https://ror.org/0102mm775","country_code":"PL","type":"education","lineage":["https://openalex.org/I3019271933"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Mateusz Klonowski","raw_affiliation_strings":["Department of Logic, Nicolaus Copernicus University, Moniuszki 16, 87-100, Toru\u0144, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Logic, Nicolaus Copernicus University, Moniuszki 16, 87-100, Toru\u0144, Poland","institution_ids":["https://openalex.org/I3019271933"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007737878"],"corresponding_institution_ids":["https://openalex.org/I3019271933"],"apc_list":{"value":3090,"currency":"USD","value_usd":3090},"apc_paid":{"value":3090,"currency":"USD","value_usd":3090},"fwci":0.2531,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61065762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"16","issue":"1-2","first_page":"195","last_page":"219"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9994000196456909,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9883999824523926,"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/algorithm","display_name":"Algorithm","score":0.5215218663215637},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4186152219772339},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3636564016342163},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.356944739818573},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34763118624687195}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5215218663215637},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4186152219772339},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3636564016342163},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.356944739818573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34763118624687195}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11787-022-00293-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-022-00293-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-022-00293-w.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11787-022-00293-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11787-022-00293-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11787-022-00293-w.pdf","source":{"id":"https://openalex.org/S120609085","display_name":"Logica Universalis","issn_l":"1661-8297","issn":["1661-8297","1661-8300"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logica Universalis","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4212932800.pdf","grobid_xml":"https://content.openalex.org/works/W4212932800.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W35712746","https://openalex.org/W171647941","https://openalex.org/W589733077","https://openalex.org/W1998166317","https://openalex.org/W2911414880","https://openalex.org/W3001657851","https://openalex.org/W3108319877","https://openalex.org/W3108530631","https://openalex.org/W3110515833","https://openalex.org/W4248515852"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2386767533","https://openalex.org/W3104631496"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"the":[2,125,174,187,202,213,226,231,239],"paper,":[3],"we":[4,146,180,233],"examine":[5],"tableau":[6,93,171,184,196,222],"systems":[7,94,197],"for":[8,81,95,113,173,186,206],"R.":[9],"Epstein\u2019s":[10],"logics":[11,97,188,208,211],"of":[12,30,32,52,119,158,169,204,215,217,228],"content":[13,216,227],"relationship:":[14],"$$\\mathbf":[15,20,26,34,41,138],"{D}$$":[16],"D":[17],"(Dependence":[18],"Logic),":[19,25],"{DD}$$":[21],"DD":[22],"(Dual":[23],"Dependence":[24],"{Eq}$$":[27,139],"Eq":[28,140],"(Logic":[29],"Equality":[31],"Content),":[33],"{S}$$":[35],"S":[36],"(Symmetric":[37],"Relatedness":[38,45],"Logic)":[39,46],"and":[40,122,156,167,209,244],"{R}$$":[42],"R":[43],"(Nonsymmetric":[44],"(Epstein":[47],"in":[48,63,69,76,84,221,230,238,242,250],"The":[49,91],"semantic":[50],"foundations":[51],"Logic,":[53,251],"Springer":[54],"Science":[55],"+":[56],"Business":[57],"Media,":[58],"Dordrecht,":[59],"(1990),":[60],"cf.":[61],"Epstein":[62,68,134],"Philos":[64],"Stud":[65],"36:137\u2013173,":[66],"1979,":[67],"Rep.":[70],"Math.":[71],"Logic":[72,77,88,104],"21:19\u201334,":[73],"1987,":[74],"Klonowski":[75],"Log":[78],"Philos,":[79],"accepted":[80],"publication,":[82],"Krajewski":[83],"J":[85],"Non":[86],"Class":[87],"8:7\u201333,":[89],"1991).":[90],"first":[92,126],"those":[96,152],"were":[98],"defined":[99],"by":[100,190],"Carnielli":[101],"(Rep":[102],"Math":[103],"21:35\u201346,":[105],"1987).":[106],"However,":[107],"his":[108],"approach":[109],"has":[110],"some":[111],"limitations,":[112],"example,":[114],"it":[115,129],"requires":[116],"a":[117,159,164,170,182],"proof":[118],"functional":[120],"completeness":[121],"axiomatization.":[123],"Notwithstanding":[124],"two":[127],"constraints,":[128],"does":[130],"not":[131],"include":[132],"all":[133],"logics,":[135],"e.g.,":[136],"logic":[137,161,175],".":[141],"Unlike":[142],"Carnielli\u2019s":[143],"approach,":[144],"here":[145],"use":[147,234],"set-assignment":[148,191],"semantics":[149,157],"to":[150],"determine":[151,163],"logics.":[153],"Since":[154],"syntax":[155,166],"given":[160],"usually":[162],"minimal":[165],"structure":[168],"system":[172],"along":[176],"with":[177],"other":[178],"properties,":[179],"propose":[181],"uniform":[183],"framework":[185],"determined":[189],"semantics.":[192],"What":[193],"distinguishes":[194],"our":[195],"is":[198,219],"that":[199],"they":[200],"combine":[201],"features":[203],"tableaux":[205],"propositional":[207],"syllogistic":[210,240],"when":[212],"problem":[214],"propositions":[218,229],"analysed":[220],"proofs.":[223],"To":[224],"denote":[225],"proofs,":[232],"generalised":[235],"labels":[236],"(explored":[237],"context":[241],"Jarmu\u017cek":[243],"Gor\u00e9":[245],"(In:":[246],"Fitting":[247],"(ed.)":[248],"Landscapes":[249],"College":[252],"Publications,":[253],"London,":[254],"accepted)).":[255]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}