A model for tonal progressions of seventh chords

In this paper, we propose a model for idealized diatonic and chromatic voice leadings between seventh chords and study its computational aspects. The model provides a mathematical formalization of the concept of tonal seventh chord realizations including augmented sixth chords. Certain contrapuntal aspects, such as preparation and resolution of certain dissonant intervals, are taken into account. Possible applications of the model are discussed using a graph-theoretic approach. In particular, we present an algorithm for generating concrete voicings from sequences of seventh-chord symbols.