Quine a qualifié ces logiques de «libre», mais on les appelle maintenant des logiques inclusives.
Bien que Quine ait qualifié ces logiques de «intégrales», elles sont maintenant appelées logiques libres.