Foundations of LLCM: Labelled Lambek Calculus for Music AnalysisMatteo Bizzarri ⁄ Satoshi TojoLambek Calculus ⁄ Music Analysis ⁄ Chord Analysis ⁄ Proof Theory2025