Quine a qualifié ces logiques de "y compris" "logique", mais on les appelle maintenant "logique libre".
Alors que Quine appelait de telles logiques la logique "inclusive", on les appelle maintenant logique libre.