Resumen en: We explain different presentations of the algebraic structures that match the {- , ^}-fragment of intuitionistic propositional logic.>>>es: Se elaboran d...