Abstract: We define and study the notions of filters, deductive systems, maximal, strongly maximal and prime filters in quantum-BE algebras. We also introduce the notion of congruences induced by deductive systems of a quantum-BE algebra, and we show that there is a relationship between congruences and deductive systems. Furthermore, we define the quotient quantum-BE algebra with respect to a deductive system, and prove that the quotient quantum-BE algebra is locally finite if and only if the deductive system is strongly maximal. Finally, we define the weakly linear and quasi-linear quantum-BE algebras, and give a characterization of weakly linear quotient quantum-BE algebras.
This page was built for publication: Quotient quantum-Wajsberg algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6432055)
