Logique Non Monotone

concept

logique formelle dans laquelle l'opération d'implication n'est pas monotone

Propriétés