{"id":"https://openalex.org/W4414570767","doi":"https://doi.org/10.1007/978-3-032-06085-3_4","title":"Analytic Calculi for\u00a0Logics of\u00a0Indicative Conditionals","display_name":"Analytic Calculi for\u00a0Logics of\u00a0Indicative Conditionals","publication_year":2025,"publication_date":"2025-09-25","ids":{"openalex":"https://openalex.org/W4414570767","doi":"https://doi.org/10.1007/978-3-032-06085-3_4"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-06085-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080325599","display_name":"Vitor Greati","orcid":"https://orcid.org/0000-0003-3240-386X"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Vitor Greati","raw_affiliation_strings":["Bernoulli Institute, University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Bernoulli Institute, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083165777","display_name":"S\u00e9rgio Marcelino","orcid":"https://orcid.org/0000-0002-6941-7555"},"institutions":[{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"S\u00e9rgio Marcelino","raw_affiliation_strings":["SQIG Instituto de Telecomunica\u00e7\u00f5es, Departamento de Matem\u00e1tica \u2013 Instituto Superior T\u00e9cnico, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"SQIG Instituto de Telecomunica\u00e7\u00f5es, Departamento de Matem\u00e1tica \u2013 Instituto Superior T\u00e9cnico, Lisbon, Portugal","institution_ids":["https://openalex.org/I4210120471"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005310566","display_name":"Miguel Mu\u00f1oz P\u00e9rez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miguel Mu\u00f1oz P\u00e9rez","raw_affiliation_strings":["Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, UNED, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, UNED, Madrid, Spain","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008197317","display_name":"Umberto Rivieccio","orcid":"https://orcid.org/0000-0003-1364-5003"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Umberto Rivieccio","raw_affiliation_strings":["Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, UNED, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia, UNED, Madrid, Spain","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080325599"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.61003615,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.9986000061035156,"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.9915000200271606,"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/modular-design","display_name":"Modular design","score":0.5817999839782715},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5649999976158142},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5353999733924866},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.508899986743927},{"id":"https://openalex.org/keywords/ingenuity","display_name":"Ingenuity","score":0.4828000068664551},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.46209999918937683},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.427700012922287},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.4169999957084656},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.36910000443458557}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6478000283241272},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5817999839782715},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5649999976158142},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5353999733924866},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.508899986743927},{"id":"https://openalex.org/C2778154381","wikidata":"https://www.wikidata.org/wiki/Q105296908","display_name":"Ingenuity","level":2,"score":0.4828000068664551},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.46209999918937683},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.427700012922287},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.4169999957084656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37049999833106995},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3668999969959259},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35089999437332153},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3343999981880188},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3248000144958496},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C2989065042","wikidata":"https://www.wikidata.org/wiki/Q7378971","display_name":"Algebraic properties","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.28690001368522644},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.26499998569488525},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-06085-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-06085-3_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-06085-3_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-06085-3_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1650125035","display_name":null,"funder_award_id":"B-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G273553189","display_name":null,"funder_award_id":"UID/50008","funder_id":"https://openalex.org/F4320328988","funder_display_name":"Instituto de Telecomunica\u00e7\u00f5es"},{"id":"https://openalex.org/G3850789590","display_name":null,"funder_award_id":"50008","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3884855522","display_name":null,"funder_award_id":"UID/50008","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8505464880","display_name":null,"funder_award_id":"PID2022-142378NB-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G8920660035","display_name":null,"funder_award_id":"PID2022","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320328988","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414570767.pdf","grobid_xml":"https://content.openalex.org/works/W4414570767.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W278229615","https://openalex.org/W1566632003","https://openalex.org/W1963891102","https://openalex.org/W1978201126","https://openalex.org/W1984166171","https://openalex.org/W1985861536","https://openalex.org/W1996579835","https://openalex.org/W2033435280","https://openalex.org/W2037995299","https://openalex.org/W2054866117","https://openalex.org/W2095704391","https://openalex.org/W2116712528","https://openalex.org/W2741242605","https://openalex.org/W2919673720","https://openalex.org/W2952657320","https://openalex.org/W3081387141","https://openalex.org/W3126991812","https://openalex.org/W4248743978","https://openalex.org/W4298032519","https://openalex.org/W4366488492","https://openalex.org/W4381487049","https://openalex.org/W4390506773","https://openalex.org/W4403073904","https://openalex.org/W4406075827","https://openalex.org/W4406853494","https://openalex.org/W4409973394","https://openalex.org/W4412808103"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1,74,132],"consider":[2],"a":[3,54,96,105,109,137,171],"family":[4],"of":[5,51,57,60,71,123],"non-classical":[6],"three-valued":[7],"logics":[8,62,135],"proposed":[9],"to":[10,47,77,83,112,144,155],"model":[11],"indicative":[12],"conditionals":[13],"in":[14,41,104],"natural":[15,49],"language.":[16],"Among":[17],"these,":[18],"systems":[19],"introduced":[20],"by":[21,95,136,170],"B.":[22],"De":[23],"Finetti,":[24],"W.S.":[25],"Cooper,":[26],"J.":[27],"Cantwell":[28],"and":[29,80,88,114,126,141],"R.J.":[30],"Farrell,":[31],"as":[32,34],"well":[33],"some":[35],"variants":[36],"that":[37,150],"have":[38],"not":[39,64],"appeared":[40],"the":[42,68,91,117,162],"literature,":[43],"but":[44],"seem":[45],"nevertheless":[46],"be":[48,101,167],"objects":[50],"interest":[52],"from":[53],"formal":[55],"point":[56],"view.":[58],"Most":[59],"these":[61,134],"are":[63,130,151],"easily":[65],"treatable":[66],"with":[67,153],"standard":[69],"techniques":[70,129],"algebraic":[72],"logic.":[73],"therefore":[75],"resort":[76],"non-deterministic":[78,139],"structures":[79],"multiple-conclusion":[81],"calculi":[82,149,163],"provide":[84],"alternative":[85],"semantical":[86],"characterizations":[87],"axiomatizations.":[89,178],"In":[90,116,159],"best":[92],"cases\u2014logics":[93],"given":[94],"finite":[97],"monadic":[98],"matrix\u2014this":[99],"can":[100,166],"done":[102],"directly,":[103],"modular":[106],"way,":[107],"through":[108],"procedure":[110],"due":[111],"Shoesmith":[113],"Smiley.":[115],"more":[118,127],"involved":[119],"ones\u2014logics":[120],"preserving":[121],"degrees":[122],"truth\u2014some":[124],"ingenuity":[125],"sophisticated":[128],"required.":[131],"characterize":[133],"partial":[138],"matrix,":[140],"show":[142],"how":[143],"produce":[145],"analytic":[146],"(and":[147],"effective)":[148],"complete":[152],"respect":[154],"this":[156],"generalized":[157],"semantics.":[158],"all":[160],"cases,":[161],"thus":[164],"obtained":[165],"straightforwardly":[168],"converted,":[169],"uniform":[172],"procedure,":[173],"into":[174],"traditional":[175],"single-conclusion":[176],"Hilbert-style":[177]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}