QBCC-algebras inherited from qosets

Year, pages: 2003, 331 - 340

A new class of algebras derived from BCC@-algebras, the so-called quasi-BCC@-algebras (briefly QBCC@-algebras), are introduced and studied. These algebras model properties of the logical connective implication ``$\implies$'', for which the validity of formulas ${x}\implies{y}$ and ${y}\implies{x}$ does not mean the equivalence of $x$ and $y$. A natural construction of QBCC@-algebras from quasiordered sets (qosets) is then given and properties of such QBCC@-algebras are studied.

Halaš, R., Ort, J. 2003. QBCC-algebras inherited from qosets. In Mathematica Slovaca, vol. 53, no.4, pp. 331-340. 0139-9918.

Halaš, R., Ort, J. (2003). QBCC-algebras inherited from qosets. Mathematica Slovaca, 53(4), 331-340. 0139-9918.