
doi: 10.1007/bf01053019
An algebra \(A= \langle A,\to,\neg\rangle\) is said to be a Wajsberg algebra if it satisfies the following equations: \[ \begin{aligned} (a\to b)\to b&= b \\ (a\to b)\to((b\to c)\to (a\to c))&= a\to a \\ (a\to b)\to b&= (b\to a)\to a \\ (\neg a\to \neg b)\to (b\to a)&= a\to a \end{aligned} \] Any finite subdirectly irreducible Wajsberg algebra is quasiprimal and semiprimal, but not each of them is primal. The author gives equational conditions under which the appropriate variety of Wajsberg algebras with additional constants is generated by a primal algebra. The same algebras (and only these algebras) without additional constants admit a lattice reduct which is a P-algebra (P-algebras are a generalization of Post algebras introduced by G. Epstein and A. Horn).
Wajsberg algebra, Operations and polynomials in algebraic structures, primal algebras, subdirectly irreducible algebra, primal algebra, chain, Other algebras related to logic, P-algebra, variety, Logical aspects of Łukasiewicz and Post algebras, Post algebras (lattice-theoretic aspects), Post algebra
Wajsberg algebra, Operations and polynomials in algebraic structures, primal algebras, subdirectly irreducible algebra, primal algebra, chain, Other algebras related to logic, P-algebra, variety, Logical aspects of Łukasiewicz and Post algebras, Post algebras (lattice-theoretic aspects), Post algebra
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
