{"id":"https://openalex.org/W3126991812","doi":"https://doi.org/10.1007/s10992-020-09572-7","title":"De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics","display_name":"De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics","publication_year":2021,"publication_date":"2021-01-29","ids":{"openalex":"https://openalex.org/W3126991812","doi":"https://doi.org/10.1007/s10992-020-09572-7","mag":"3126991812"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-020-09572-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-020-09572-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-020-09572-7.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-020-09572-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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/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":["FR"],"is_corresponding":true,"raw_author_name":"Paul \u00c9gr\u00e9","raw_affiliation_strings":["Institut Jean-Nicod (CNRS/ENS/EHESS), D\u00e9partement de Philosophie & D\u00e9partement d\u2019\u00e9tudes Cognitives, Ecole Normale Sup\u00e9rieure, PSL University, 29 rue d\u2019Ulm, 75005, Paris, France","Institut Jean-Nicod (CNRS/ENS/EHESS), D\u00e9partement de Philosophie & D\u00e9partement d\u2019\u00e9tudes Cognitives, Ecole Normale Sup\u00e9rieure, PSL University, Paris, France","D\u00e9partement de Philosophie - ENS Paris (45 rue d\u2019Ulm\r\n75230 Paris cedex 05 - France)","IJN - Institut Jean-Nicod (Pavillon Jardin 29, rue d'Ulm 75005 Paris - France)"],"raw_orcid":"https://orcid.org/0000-0002-9114-7686","affiliations":[{"raw_affiliation_string":"Institut Jean-Nicod (CNRS/ENS/EHESS), D\u00e9partement de Philosophie & D\u00e9partement d\u2019\u00e9tudes Cognitives, Ecole Normale Sup\u00e9rieure, PSL University, 29 rue d\u2019Ulm, 75005, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I29607241","https://openalex.org/I90669466","https://openalex.org/I4210114522","https://openalex.org/I2746051580"]},{"raw_affiliation_string":"Institut Jean-Nicod (CNRS/ENS/EHESS), D\u00e9partement de Philosophie & D\u00e9partement d\u2019\u00e9tudes Cognitives, Ecole Normale Sup\u00e9rieure, PSL University, Paris, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I2746051580","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"D\u00e9partement de Philosophie - ENS Paris (45 rue d\u2019Ulm\r\n75230 Paris cedex 05 - France)","institution_ids":["https://openalex.org/I29607241"]},{"raw_affiliation_string":"IJN - Institut Jean-Nicod (Pavillon Jardin 29, rue d'Ulm 75005 Paris - France)","institution_ids":["https://openalex.org/I4210114522"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083453145","display_name":"Lorenzo Rossi","orcid":"https://orcid.org/0000-0002-1932-5484"},"institutions":[{"id":"https://openalex.org/I292141241","display_name":"Munich School of Philosophy","ror":"https://ror.org/02kqy4228","country_code":"DE","type":"education","lineage":["https://openalex.org/I292141241"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Lorenzo Rossi","raw_affiliation_strings":["Munich Center for Mathematical Philosophy (MCMP), Fakult\u00e4t f\u00fcr Philosophie, Wissenschaftstheorie und Religionswissenschaft, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Geschwister-Scholl-Platz 1, D-80539, M\u00fcnchen, Germany","Munich Center for Mathematical Philosophy (MCMP), Fakult\u00e4t f\u00fcr Philosophie, Wissenschaftstheorie und Religionswissenschaft, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","LMU - Ludwig Maximilian University [Munich] = Ludwig Maximilians Universit\u00e4t M\u00fcnchen (Professor-Huber-Platz 2, 80539 M\u00fcnchen, Allemagne - Germany)"],"raw_orcid":"https://orcid.org/0000-0002-1932-5484","affiliations":[{"raw_affiliation_string":"Munich Center for Mathematical Philosophy (MCMP), Fakult\u00e4t f\u00fcr Philosophie, Wissenschaftstheorie und Religionswissenschaft, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Geschwister-Scholl-Platz 1, D-80539, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I292141241","https://openalex.org/I8204097"]},{"raw_affiliation_string":"Munich Center for Mathematical Philosophy (MCMP), Fakult\u00e4t f\u00fcr Philosophie, Wissenschaftstheorie und Religionswissenschaft, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I8204097","https://openalex.org/I292141241"]},{"raw_affiliation_string":"LMU - Ludwig Maximilian University [Munich] = Ludwig Maximilians Universit\u00e4t M\u00fcnchen (Professor-Huber-Platz 2, 80539 M\u00fcnchen, Allemagne - Germany)","institution_ids":["https://openalex.org/I8204097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078348621","display_name":"Jan Sprenger","orcid":"https://orcid.org/0000-0003-0083-9685"},"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":true,"raw_author_name":"Jan Sprenger","raw_affiliation_strings":["Center for Logic, Language and Cognition (LLC), Department of Philosophy and Education Science, Universit\u00e0 degli Studi di Torino, Torino, Italy","Center for Logic, Language and Cognition (LLC), Department of Philosophy and Education Science, Universit\u00e0 degli Studi di Torino, Via Sant\u2019Ottavio 20, 10124, Torino, Italy","LLC - Center for Logic, Language and Cognition (Italy)","UNITO - Universit\u00e0 degli studi di Torino = University of Turin (Via Verdi, 8 \r\n10124 Torino \r\nItalie - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-0083-9685","affiliations":[{"raw_affiliation_string":"Center for Logic, Language and Cognition (LLC), Department of Philosophy and Education Science, Universit\u00e0 degli Studi di Torino, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"Center for Logic, Language and Cognition (LLC), Department of Philosophy and Education Science, Universit\u00e0 degli Studi di Torino, Via Sant\u2019Ottavio 20, 10124, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"LLC - Center for Logic, Language and Cognition (Italy)","institution_ids":[]},{"raw_affiliation_string":"UNITO - Universit\u00e0 degli studi di Torino = University of Turin (Via Verdi, 8 \r\n10124 Torino \r\nItalie - Italy)","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078348621","https://openalex.org/A5083453145","https://openalex.org/A5090078698"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I292141241","https://openalex.org/I29607241","https://openalex.org/I4210114522","https://openalex.org/I55143463","https://openalex.org/I8204097","https://openalex.org/I90669466"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":0.5596,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.71917206,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"50","issue":"2","first_page":"215","last_page":"247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9995999932289124,"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.9969000220298767,"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/soundness","display_name":"Soundness","score":0.8712157011032104},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.7931176424026489},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7487597465515137},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.7093863487243652},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.6353883743286133},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5559440851211548},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.5537108182907104},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4870210289955139},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.47625207901000977},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4670639932155609},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4654114544391632},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.42527538537979126},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4229975640773773},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.42026615142822266},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.41205137968063354},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3476499915122986},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33735722303390503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.24076694250106812},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20515930652618408},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.15890857577323914},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13655155897140503},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12075668573379517}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8712157011032104},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.7931176424026489},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7487597465515137},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.7093863487243652},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.6353883743286133},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5559440851211548},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.5537108182907104},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4870210289955139},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47625207901000977},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4670639932155609},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4654114544391632},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.42527538537979126},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4229975640773773},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.42026615142822266},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.41205137968063354},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3476499915122986},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33735722303390503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.24076694250106812},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20515930652618408},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.15890857577323914},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13655155897140503},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12075668573379517},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10992-020-09572-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-020-09572-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-020-09572-7.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-03915223v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03915223","pdf_url":"https://hal.science/hal-03915223/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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Philosophical Logic, 2021, 50 (2), pp.215-247. ⟨10.1007/s10992-020-09572-7⟩","raw_type":"Journal articles"},{"id":"pmh:oai:epub.ub.uni-muenchen.de:75765","is_oa":true,"landing_page_url":"https://epub.ub.uni-muenchen.de/75765/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401845","display_name":"Open access LMU (Ludwid Maxmilian's Universitat Munchen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8204097","host_organization_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","host_organization_lineage":["https://openalex.org/I8204097"],"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","raw_type":"doc-type:article"}],"best_oa_location":{"id":"doi:10.1007/s10992-020-09572-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-020-09572-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-020-09572-7.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/G1355308016","display_name":null,"funder_award_id":"ANR-19-CE28-0004-01","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2659019386","display_name":null,"funder_award_id":"ANR-17-EURE-","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3397755301","display_name":null,"funder_award_id":"P29716-G24","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"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/G4483770707","display_name":null,"funder_award_id":"17-EURE-0017","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4985510114","display_name":"Trivalent Logics and Natural Language Meaning","funder_award_id":"ANR-14-CE30-0010","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G569144372","display_name":"Probabilistic Semantics and Pragmatics - Approximation, Hyperboles, Quantity Implicatures,","funder_award_id":"ANR-19-CE28-0004","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"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","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/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320323345","display_name":"Universit\u00e4t Salzburg","ror":"https://ror.org/05gs8cd61"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3126991812.pdf","grobid_xml":"https://content.openalex.org/works/W3126991812.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W173485","https://openalex.org/W42780853","https://openalex.org/W144641616","https://openalex.org/W637989598","https://openalex.org/W1535673504","https://openalex.org/W1560968687","https://openalex.org/W1591825827","https://openalex.org/W1592256786","https://openalex.org/W1598471264","https://openalex.org/W1795577507","https://openalex.org/W1963891102","https://openalex.org/W1971484004","https://openalex.org/W1976533476","https://openalex.org/W1984166171","https://openalex.org/W1996579835","https://openalex.org/W2000548819","https://openalex.org/W2003480061","https://openalex.org/W2004121214","https://openalex.org/W2033435280","https://openalex.org/W2043017889","https://openalex.org/W2051471664","https://openalex.org/W2067005442","https://openalex.org/W2122706253","https://openalex.org/W2127333323","https://openalex.org/W2133089137","https://openalex.org/W2157476045","https://openalex.org/W2324083766","https://openalex.org/W2522630191","https://openalex.org/W2599657867","https://openalex.org/W2831760150","https://openalex.org/W2884522262","https://openalex.org/W2892161477","https://openalex.org/W2973186567","https://openalex.org/W4205269972","https://openalex.org/W4229616141","https://openalex.org/W4230560363","https://openalex.org/W4240155342","https://openalex.org/W4245289004","https://openalex.org/W4247819507","https://openalex.org/W4248743978","https://openalex.org/W4249736722","https://openalex.org/W4252113473","https://openalex.org/W4255871753","https://openalex.org/W4300474804","https://openalex.org/W4388372668","https://openalex.org/W6632209367","https://openalex.org/W6635395752","https://openalex.org/W6727274769","https://openalex.org/W6818114910","https://openalex.org/W6995764629"],"related_works":["https://openalex.org/W4253113110","https://openalex.org/W2096191306","https://openalex.org/W2137780954","https://openalex.org/W1771892589","https://openalex.org/W4293309763","https://openalex.org/W2096038201","https://openalex.org/W2008876986","https://openalex.org/W2979504482","https://openalex.org/W2949724905","https://openalex.org/W2033347591"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"Part":[2],"I":[3],"of":[4,52,109,117],"this":[5],"paper,":[6],"we":[7,64,88,126],"identified":[8],"and":[9,28,36,46,73,78,81,84,131],"compared":[10],"various":[11],"schemes":[12],"for":[13,17,69,101,106],"trivalent":[14],"truth":[15],"conditions":[16],"indicative":[18],"conditionals,":[19],"most":[20],"notably":[21],"the":[22,33,61,66,70,91,107,115,129],"proposals":[23],"by":[24,37],"de":[25],"Finetti":[26],"(1936)":[27],"Reichenbach":[29],"(1935,":[30],"1944)":[31],"on":[32,60],"one":[34],"hand,":[35],"Cooper":[38],"(":[39,48],"Inquiry":[40],",":[41,43,55,57,74],"11":[42],"295\u2013320,":[44],"1968)":[45],"Cantwell":[47],"Notre":[49],"Dame":[50],"Journal":[51],"Formal":[53],"Logic":[54],"49":[56],"245\u2013260,":[58],"2008)":[59],"other.":[62],"Here":[63],"provide":[65],"proof":[67],"theory":[68],"resulting":[71],"logics":[72,96],"using":[75],"tableau":[76],"calculi":[77],"sequent":[79],"calculi,":[80],"proving":[82],"soundness":[83],"completeness":[85],"results.":[86],"Then":[87],"turn":[89],"to":[90],"algebraic":[92,102],"semantics,":[93],"where":[94],"both":[95],"have":[97],"substantive":[98],"limitations:":[99],"allows":[100],"completeness,":[103],"but":[104],"not":[105],"construction":[108,116],"a":[110,118],"canonical":[111],"model,":[112],"while":[113],"fails":[114],"Lindenbaum-Tarski":[119],"algebra.":[120],"With":[121],"these":[122],"results":[123],"in":[124],"mind,":[125],"draw":[127],"up":[128],"balance":[130],"sketch":[132],"future":[133],"research":[134],"projects.":[135]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}