La lógica libre comprende una parte de la lógica formal no clásica cuyos predicados son procesados de forma análoga a la lógica clásica de Gottlob Frege.