Online Алгебраические Эквиваленты Некотрых Свойств Суперинтуиционистских Предикатных Логик