Hoops are algebraic structures that generalize several well-known logical systems used in fuzzy logic and many-valued logic, including MV-algebras and BL-algebras. These structures come equipped with a multiplication operation and an ordering, and they serve as the algebraic backbone of various non-classical logics. The paper studies a particular kind of map called a conucleus, which acts on a hoop by shrinking or collapsing elements in a way that is compatible with the algebraic structure. Think of a conucleus as a projection that sends elements to smaller or equal elements while playing nicely with multiplication. Such maps appear naturally when you want to move between different logical systems or embed one algebraic structure inside another.
A central goal of the paper is to understand which conuclei can be described purely in terms of the basic operations of the algebra, meaning they can be written down as explicit algebraic expressions or "terms." This is a natural question because term-definable operations are the most tightly connected to the logical language itself. The paper pays special attention to a stronger condition called multiplicativity, where the conucleus interacts with multiplication in the most harmonious possible way, preserving products exactly rather than just approximately.
The main result gives a complete and explicit description of all terms that define a multiplicative conucleus across an entire class, or variety, of Wajsberg hoops. Wajsberg hoops are a particularly important subclass, and the paper also shows that the same problem for broader classes like basic hoops or BL-algebras can always be reduced to solving it for Wajsberg hoops. The paper additionally proves a Glivenko-type theorem, which is a classical kind of result connecting different logical systems through a translation, here reinterpreted in the language of conuclei.