Cualquier tipo de lógica, función, expresión o teoría basada en el trabajo de George Boole se considera booleana .