La théorie des modèles dérivationnels étudie la structure et les propriétés des modèles dérivationnels en logique mathématique, notamment leur influence sur les systèmes grammaticaux