Anderson y Belnap (ver abajo) enumeran varias "paradojas de estricta aplicación", por ejemplo, una contradicción todavía implica cualquier cosa, y cualquier cosa implica una tautología.