Simple logics for basic algebras (Q2810125)

MV-algebras are very well established algebras which were introduced by Chang almost 60 years ago and nowadays its structure, which has a connection to many-valued logic, is studied very detailed. During the years, many generalizations of MV-algebras are introduced, e.g. pseudo MV-algebras (= non-commutative MV-algebras), BL-algebras, hoops, etc. Basic logic was introduced in the last decade by the school in Olomouc, Czech republic, headed by Chajda. It is a common generalization of MV-algebras and orthomodular lattices. A basic algebra is an MV-algebra iff the operation \(\oplus\) is associative. One of its important subvarieties is the variety of commutative basic algebras.NEWLINENEWLINEBasic algebras and commutative basic algebras provide an equivalent algebraic semantics in the sense of \textit{W. J. Blok} and \textit{D. Pigozzi} [Mem. Am. Math. Soc. 396, 78 p. (1989; Zbl 0664.03042)] for two recent logical systems. Both are Hilbert-style systems, with implication and negation as primitive connectives. The aim of the paper under review is the study a simpler logic where implication and falsum are taken as primitives. In addition, some known subvarieties of basic algebras are studied, too.