The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}{\forall }_{\sim }$

Diego Castaño, Valeria Castaño, José Patricio Díaz Varela +1

In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic $\mathcal{G}{\forall }_{\sim }$ defined by F. Esteva, L.…