Page d'accueil de Résonances 2003 Site de l'Ircam Résonances 2003 Home Page Ircam Website
Résonances 2003
home schedule speakers registration useful Info parners search version française
Resonances 2003 > Scientific Program > Musicnetwork Workshop > Jacqueline Castaing
day by day program
15 16 17 18 19 20 21 22 23 24
october 2003

scientific program
electroacoustic musics
around set theory
music analysis tools
musicnetwork workshop

professional week
ircam forum workshops
free software for music
international multichannel sound forum
performing arts and technologies
dance and new technologies
access to sound heritage
thematic evenings
demonstration stands

artistic program
set theory concert
music in creation concert
cursus concerts
opera "one"
sound installations

open house weekend
technologies gallery
conferences demonstrations
workshop-performances
workshops and films
ircam laboratories
linux install-party
concert distribution on internet

associated events
resonances night at glaz'art
émilie simon at la cigale
suguru goto
reseaunances

guided tours of ircam and the multimedia library

resonances in pictures

resonances 2002
 

JACQUELINE CASTAING

A Logical framework for the Motivic Analysis of Music

Abstract

In this paper, we propose to use Ruet's non-commutative logic (coming from Girard's linear logic), to build a logical framework in order to carry out the motivic analysis of music in terms of proofs. With the help of an appropriate set of connectives, next and times - those we are particularly interested in -, we can formalize any rhythmicized succession of motes (or basic motive) as a propositional formula in our system.

Biography of Jacqueline Castaing

 

Organization Committee
Copyright Ircam-Centre Pompidou 2003