En 1955, las álgebras de Boole monádicas fueron introducidas por P. Halmos ([23]), como un modelo algebraico para el cálculo de predicados monádicos de la lógica clásica. Estas álgebras han sido ampliamente estudiadas por ...