×

\(\mathbf R_0\)-algebra and its structure. (Chinese. English summary) Zbl 0947.03081

Summary: Based on \(R_0\)-Lindenbaum algebras, \(R_0\)-algebras, which are slightly stronger than implementation lattice algebras, are proposed in this paper. After the discussion of their basic properties, two equivalent structure theorems of \(R_0\)-algebras are developed. Moreover, from the standpoint of quotient algebras, the basic structures of \(R_0\)-algebras are particularly investigated.

MSC:

03G25 Other algebras related to logic
PDFBibTeX XMLCite