Geometry and Logic of Musical Performance