"Алгебраические эквиваленты некотрых свойств суперинтуиционистских предикатных логик" - читать интересную книгу автора (Тишковский Д.Е.)