##  [Géométrie de L'Interaction](/fr/node/60975) 

  ##  [Géométrie de L'Interaction](https://mathlogic.quantumdictionary.io/fr/node/60976) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un cadre sémantique qui interprète la réduction de preuves (élimination des coupures) comme un flux dynamique ou une interaction d'information, souvent modélisé par des opérateurs, des traces ou des machines à jetons suivant le déplacement d'information dans un réseau de preuve.