Planned intervention: On Thursday 19/09 between 05:30-06:30 (UTC), Zenodo will be unavailable because of a scheduled upgrade in our storage cluster.
Published November 13, 2023 | Version v2
Conference paper Open

Music and Logic: a connection between two worlds

Description

Music and mathematics have a long-standing relationship, but what about music and logic? Only recently have some authors started to explore the relationship between logic and music analysis, thanks to developments in both fields. The aim of this paper is to analyze this relationship, by developing a system capable of analyzing chord sequences using a logical presentation as well as create new harmonic structures. The logical presentation draws heavily from proof theory and its dual, i.e. tableuax. Also if music is not a proof, its adaptability makes it effective for this purpose. The attempt here proposed will try to apply proof theory to a brief, but important part of music: chord sequence analysis.

Files

cmmr2023_4e-2.pdf

Files (992.8 kB)

Name Size Download all
md5:d27c35f2b91d76984467899efd1caee6
992.8 kB Preview Download