Esto puede ser asegurado (junto con otras condiciones más estrictas) por ejemplo colocando ciertas restricciones a las reglas del sistema de deducción natural.