Système de logique abrégé