{"id":"https://openalex.org/W4238457905","doi":"https://doi.org/10.1017/s1755020315000179","title":"HARMONISING HARMONY","display_name":"HARMONISING HARMONY","publication_year":2015,"publication_date":"2015-05-15","ids":{"openalex":"https://openalex.org/W4238457905","doi":"https://doi.org/10.1017/s1755020315000179"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020315000179","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020315000179","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01136241","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049502056","display_name":"Luca Tranchini","orcid":"https://orcid.org/0000-0003-2844-129X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"LUCA TRANCHINI","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049502056"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7793,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89782985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"8","issue":"3","first_page":"411","last_page":"423"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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/T10126","display_name":"Logic, programming, and type systems","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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.9986000061035156,"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/harmony","display_name":"Harmony (color)","score":0.8644219636917114},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7460978031158447},{"id":"https://openalex.org/keywords/normality","display_name":"Normality","score":0.6988489031791687},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.6734920740127563},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6674923300743103},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4814557433128357},{"id":"https://openalex.org/keywords/inversion","display_name":"Inversion (geology)","score":0.439136803150177},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4087129831314087},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38011810183525085},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.10814997553825378},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.09722599387168884},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06926554441452026},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.04518023133277893},{"id":"https://openalex.org/keywords/social-science","display_name":"Social science","score":0.04410809278488159}],"concepts":[{"id":"https://openalex.org/C2776453491","wikidata":"https://www.wikidata.org/wiki/Q5659234","display_name":"Harmony (color)","level":2,"score":0.8644219636917114},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7460978031158447},{"id":"https://openalex.org/C2776157432","wikidata":"https://www.wikidata.org/wiki/Q1375683","display_name":"Normality","level":2,"score":0.6988489031791687},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.6734920740127563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6674923300743103},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4814557433128357},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.439136803150177},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4087129831314087},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38011810183525085},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.10814997553825378},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.09722599387168884},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06926554441452026},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.04518023133277893},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.04410809278488159},{"id":"https://openalex.org/C109007969","wikidata":"https://www.wikidata.org/wiki/Q749565","display_name":"Structural basin","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020315000179","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020315000179","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01136241v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01136241","pdf_url":null,"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":"2014","raw_type":"Preprints, Working Papers, ..."}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01136241v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01136241","pdf_url":null,"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":"2014","raw_type":"Preprints, Working Papers, ..."},"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W8694290","https://openalex.org/W197207521","https://openalex.org/W1488538795","https://openalex.org/W1528441197","https://openalex.org/W1557413548","https://openalex.org/W1596025996","https://openalex.org/W1881159366","https://openalex.org/W1986532158","https://openalex.org/W1987839131","https://openalex.org/W1988347771","https://openalex.org/W1994728568","https://openalex.org/W1999915591","https://openalex.org/W2031636584","https://openalex.org/W2047063760","https://openalex.org/W2067842890","https://openalex.org/W2068169489","https://openalex.org/W2091225478","https://openalex.org/W2105703407","https://openalex.org/W2115775190","https://openalex.org/W2143121603","https://openalex.org/W2166975077","https://openalex.org/W4229908308","https://openalex.org/W4251206353"],"related_works":["https://openalex.org/W4321650139","https://openalex.org/W2169275958","https://openalex.org/W2506314341","https://openalex.org/W2917687159","https://openalex.org/W2000721663","https://openalex.org/W2405714784","https://openalex.org/W4391002904","https://openalex.org/W2106922074","https://openalex.org/W4321448422","https://openalex.org/W4285364886"],"abstract_inverted_index":{"Abstract":[0],"The":[1,98],"term":[2],"\u2018harmony\u2019":[3],"refers":[4],"to":[5,16,20,66,73],"a":[6,12,24,68,115],"condition":[7],"that":[8,83],"the":[9,35,40,54,74,78,84,89,101],"rules":[10,85],"governing":[11],"logical":[13],"constant":[14],"ought":[15],"satisfy":[17],"in":[18,34,104],"order":[19],"endow":[21],"it":[22],"with":[23],"proper":[25],"meaning.":[26],"Different":[27],"characterizations":[28],"of":[29,70,100],"harmony":[30,71],"have":[31],"been":[32],"proposed":[33],"literature,":[36],"some":[37],"based":[38,76],"on":[39,44,47,77,108],"inversion":[41,79,90],"principle,":[42],"others":[43,46],"normalization,":[45],"conservativity.":[48],"In":[49,113],"this":[50],"paper":[51],"we":[52],"discuss":[53],"prospects":[55],"for":[56,86],"showing":[57],"how":[58,109],"conservativity":[59],"and":[60],"normalization":[61],"can":[62],"be":[63,119],"combined":[64],"so":[65],"yield":[67],"criterion":[69],"equivalent":[72],"one":[75,122,129],"principle:":[80],"We":[81],"conjecture":[82,102],"connectives":[87],"obeying":[88],"principle":[91],"are":[92],"conservative":[93],"over":[94],"normal":[95,116],"deducibility":[96],".":[97],"plausibility":[99],"depends":[103],"an":[105],"essential":[106],"way":[107],"normality":[110],"is":[111,124],"characterized.":[112],"particular,":[114],"deduction":[117],"should":[118],"understood":[120],"as":[121,128],"which":[123,130],"irreducible,":[125],"rather":[126],"than":[127],"does":[131],"not":[132],"contain":[133],"any":[134],"maximal":[135],"formula.":[136]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}