BCC

In this paper we investigate the relation between BCC-algebras and integral pomonoids. This is a generalization of a result by I. Fleischer in [2].     

On ideals and congruences in bcc-algebras

We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences.     

BCC-代数与整偏序幺半群

本文研究ＢＣＣ-代数与整偏序幺半群的关系,所得结果是Ｉ．Ｆｌｅｉｓｃｈｅｒ在［２］中相应结果的推广．     

BIK+-逻辑与非可换模糊逻辑

引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。     

A Basic Algebra Is an MV-Algebra If and Only If It Is a BCC-Algebra

The aim of the paper is to show that every lattice with section antitone involutions, i.e. a lattice having antitone involutions on its principal filters, is an MV-algebra if and only if it is a BCC-algebra. Research is supported by the Research and Development Council of Czech Government via project MSM 6198959214.