Semi-Boolean algebras and their applications to intuitionistic logic with dual operations