Congruências de uma álgebra de Ockham cuja álgebra quociente é de Boole

Dada uma álgebra de Ockham, descrevem-se as congruências tais que a álgebra quociente é álgebra de Boole. Para tal consideram-se certos ideais, denominados de pro-booleanos. Cada um destes ideais é intersecção de ideais de falsidade. Aborda-se a questão da unicidade de representação de um ideal pro-booleano como intersecção de ideais de falsidade.