BCI-algebras with Condition (S) and their Properties

Bibliographic Details
Main Authors: Sun Tao, Zhao Junjie, Liang Xiquan
Format: Article
Language:English
Published: Sciendo 2008-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-008-0010-6