système logique

concept système formel dédié au raisonnement et aux déductions logiques

Aussi : système déductif