La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien ...

La logique floue (ou fuzzy logic en anglais) est une approche de l'informatique basée sur des « degrés de vérité » plutôt que sur la logique booléenne habituelle « vrai ou faux » (1 ou 0) sur laquelle ...