Foundations of LLCM: Labelled Lambek Calculus for Music Analysis	Matteo Bizzarri ⁄ Satoshi Tojo	Lambek Calculus ⁄ Music Analysis ⁄ Chord Analysis ⁄ Proof Theory	2025