{"id":"https://openalex.org/W4404313043","doi":"https://doi.org/10.1007/s10992-024-09778-z","title":"$$\\textsf{ST}$$ and $$\\textsf{TS}$$ as Product and Sum","display_name":"$$\\textsf{ST}$$ and $$\\textsf{TS}$$ as Product and Sum","publication_year":2024,"publication_date":"2024-11-14","ids":{"openalex":"https://openalex.org/W4404313043","doi":"https://doi.org/10.1007/s10992-024-09778-z"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-024-09778-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-024-09778-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09778-z.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","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/s10992-024-09778-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093702139","display_name":"Quentin Blomet","orcid":"https://orcid.org/0009-0008-2971-9509"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I2799318839","display_name":"Universit\u00e4tsmedizin Greifswald","ror":"https://ror.org/025vngs54","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I2799318839"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I36522303","display_name":"Universit\u00e4t Greifswald","ror":"https://ror.org/00r1edq15","country_code":"DE","type":"education","lineage":["https://openalex.org/I36522303"]},{"id":"https://openalex.org/I4210114522","display_name":"Institut Jean Nicod","ror":"https://ror.org/01qfab443","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I4210139971","https://openalex.org/I4210161506"]},{"id":"https://openalex.org/I90669466","display_name":"\u00c9cole des hautes \u00e9tudes en sciences sociales","ror":"https://ror.org/02d9dg697","country_code":"FR","type":"facility","lineage":["https://openalex.org/I90669466"]}],"countries":["DE","FR"],"is_corresponding":true,"raw_author_name":"Quentin Blomet","raw_affiliation_strings":["Department of Philosophy, University of Greifswald, Baderstra\u00dfe 6, Greifswald, 17489, Germany","Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d\u2019Ulm, Paris, 75005, France","Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d'Ulm, Paris, 75005, France"],"raw_orcid":"https://orcid.org/0009-0008-2971-9509","affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Greifswald, Baderstra\u00dfe 6, Greifswald, 17489, Germany","institution_ids":["https://openalex.org/I2799318839","https://openalex.org/I36522303"]},{"raw_affiliation_string":"Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d\u2019Ulm, Paris, 75005, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I2746051580","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d'Ulm, Paris, 75005, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I29607241","https://openalex.org/I90669466","https://openalex.org/I4210114522","https://openalex.org/I2746051580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090078698","display_name":"Paul \u00c9gr\u00e9","orcid":"https://orcid.org/0000-0002-9114-7686"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210114522","display_name":"Institut Jean Nicod","ror":"https://ror.org/01qfab443","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I4210139971","https://openalex.org/I4210161506"]},{"id":"https://openalex.org/I66809481","display_name":"Southern Cross University","ror":"https://ror.org/001xkv632","country_code":"AU","type":"education","lineage":["https://openalex.org/I66809481"]},{"id":"https://openalex.org/I90669466","display_name":"\u00c9cole des hautes \u00e9tudes en sciences sociales","ror":"https://ror.org/02d9dg697","country_code":"FR","type":"facility","lineage":["https://openalex.org/I90669466"]}],"countries":["AU","FR"],"is_corresponding":true,"raw_author_name":"Paul \u00c9gr\u00e9","raw_affiliation_strings":["IRL CROSSING, CNRS, Adelaide, Australia","Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d\u2019Ulm, Paris, 75005, France","Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d'Ulm, Paris, 75005, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRL CROSSING, CNRS, Adelaide, Australia","institution_ids":["https://openalex.org/I66809481"]},{"raw_affiliation_string":"Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d\u2019Ulm, Paris, 75005, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I2746051580","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut Jean-Nicod (CNRS, ENS-PSL, EHESS), PSL University, 29 rue d'Ulm, Paris, 75005, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I29607241","https://openalex.org/I90669466","https://openalex.org/I4210114522","https://openalex.org/I2746051580"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090078698","https://openalex.org/A5093702139"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I2799318839","https://openalex.org/I29607241","https://openalex.org/I36522303","https://openalex.org/I4210114522","https://openalex.org/I66809481","https://openalex.org/I90669466"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":0.9449,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7909179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"53","issue":"6","first_page":"1673","last_page":"1700"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9977999925613403,"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.9977999925613403,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9861999750137329,"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.9847999811172485,"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.6110060214996338},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5282694101333618},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.42601048946380615},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3940035402774811},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.33388277888298035},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.061694949865341187}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6110060214996338},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5282694101333618},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.42601048946380615},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3940035402774811},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.33388277888298035},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.061694949865341187}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10992-024-09778-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-024-09778-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09778-z.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04806222v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04806222","pdf_url":"https://hal.science/hal-04806222/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Philosophical Logic, 2024, 53, pp.1673-1700. &#x27E8;10.1007/s10992-024-09778-z&#x27E9;","raw_type":"Journal articles"},{"id":"pmh:oai:zenodo.org:14824736","is_oa":true,"landing_page_url":"https://link.springer.com/article/10.1007/s10992-024-09778-z","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":"Journal of Philosophical Logic, 53(6), 1673-1700, (2024-11-14)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10992-024-09778-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-024-09778-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09778-z.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1124105138","display_name":null,"funder_award_id":"01086295","funder_id":"https://openalex.org/F4320338438","funder_display_name":"HORIZON EUROPE Marie Sklodowska-Curie Actions"},{"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/G316810080","display_name":null,"funder_award_id":"ANR-17-EURE0017","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4209519768","display_name":"Fronti\u00e8res en cognition","funder_award_id":"ANR-17-EURE-0017","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6803667113","display_name":null,"funder_award_id":"ANR-17","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320320971","display_name":"Monash University","ror":"https://ror.org/02bfwt286"},{"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/F4320330128","display_name":"Universit\u00e4t Greifswald","ror":"https://ror.org/00r1edq15"},{"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/W4404313043.pdf","grobid_xml":"https://content.openalex.org/works/W4404313043.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W639542690","https://openalex.org/W898052787","https://openalex.org/W1483568252","https://openalex.org/W1975873865","https://openalex.org/W1996579835","https://openalex.org/W1999598455","https://openalex.org/W2067357824","https://openalex.org/W2133089137","https://openalex.org/W2186998776","https://openalex.org/W2284844693","https://openalex.org/W2592837392","https://openalex.org/W2741242605","https://openalex.org/W2938145278","https://openalex.org/W2953018217","https://openalex.org/W2962686728","https://openalex.org/W2964001268","https://openalex.org/W2998600196","https://openalex.org/W3008195930","https://openalex.org/W3083016359","https://openalex.org/W3186986882","https://openalex.org/W4210619542","https://openalex.org/W4240349388","https://openalex.org/W4245085453","https://openalex.org/W4308965323","https://openalex.org/W4313595787","https://openalex.org/W4376140272","https://openalex.org/W6667486125","https://openalex.org/W6763521326","https://openalex.org/W6799314217","https://openalex.org/W7048190923"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W2271181815"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"set":[2,103],"of":[3,18,21,49,57,65,104,124,127,155,184],"$$\\textsf{ST}$$":[4,50,168,188],"<mml:math":[5,23,33,51,67,77,106,129,136,169,175,189,195,209,215],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[6,24,34,52,68,78,107,130,137,170,176,190,196,210,216],"<mml:mi>ST</mml:mi>":[7,53,171,191],"</mml:math>":[8,29,36,54,73,80,109,132,142,172,178,192,198,212,221],"-valid":[9,30,37,74,81,110,133,143],"inferences":[10,82,111],"is":[11,83,93],"neither":[12],"the":[13,16,19,41,63,102,121,125,152,165,203],"intersection,":[14],"nor":[15],"union":[17],"sets":[20,64,126],"$$\\textsf{K}_3$$":[22,66,135,214],"<mml:msub>":[25,69,138,217],"<mml:mi>K</mml:mi>":[26,70,139,218],"<mml:mn>3</mml:mn>":[27,71,140,219],"</mml:msub>":[28,72,141,220],"and":[31,75,134,151,173,193,213],"$$\\textsf{LP}$$":[32,76,128,208],"<mml:mi>LP</mml:mi>":[35,79,131,211],"inferences,":[38],"but":[39],"despite":[40],"proximity":[42],"to":[43,163,224],"both":[44],"systems,":[45],"an":[46],"extensional":[47],"characterization":[48],"in":[55,201,206],"terms":[56],"a":[58,116,182],"natural":[59],"set-theoretic":[60],"operation":[61],"on":[62,186],"still":[84],"wanting.":[85],"In":[86],"this":[87],"paper,":[88],"we":[89,99],"show":[90],"that":[91,101],"it":[92],"their":[94],"relational":[95,122],"product":[96],".":[97,179],"Similarly,":[98],"prove":[100],"$$\\textsf{TS}$$":[105,174,194],"<mml:mi>TS</mml:mi>":[108,177,197],"can":[112],"be":[113],"identified":[114],"using":[115],"dual":[117,200,223],"notion,":[118],"namely":[119],"as":[120],"sum":[123],"inferences.":[144],"We":[145,158,180],"discuss":[146],"links":[147],"between":[148,167],"these":[149],"results":[150,162],"interpolation":[153],"property":[154],"classical":[156],"logic.":[157],"also":[159],"use":[160],"those":[161],"revisit":[164],"duality":[166,185],"present":[181],"notion":[183],"which":[187,207],"are":[199,222],"exactly":[202],"same":[204],"sense":[205],"each":[225],"other.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}