On Actions and Split Extensions in Varieties of Hoops: The Case of Strong Section

Mancini, Manuel;Metere, Giuseppe;Piazza, Federica
(2026) Studia Logica — (2026)

Files

On actions and split extensions in varieties of hoops - the case of strong section.pdf
  • Open Access
  • Adobe PDF
  • 494.6 KB

Details

Authors
  • Author
  • Metere, GiuseppeUniversità degli Studi di Milano Statale
    Author
  • Piazza, FedericaUniversità degli Studi di Messina
    Author
Abstract
(en) The aim of this article is to investigate internal actions and split extensions in the variety of hoops. We provide a characterization of split extensions with strong section in terms of strong external actions. Beyond the general setting of hoops, the study is extended to the subvarieties of basic hoops, Wajsberg hoops, Gödel hoops and product hoops. Within the setting of basic hoops and their bounded counterparts, BL-algebras, the double negation yields a significant example of split extension with strong section, thus motivating our approach. A connection between strong external actions of hoops and the semidirect product construction introduced by W. Rump in the cateogory of L-algebras is established.
Affiliations

Citations

Mancini, M., Metere, G., & Piazza, F. (2026). On Actions and Split Extensions in Varieties of Hoops: The Case of Strong Section. Studia Logica. Published. https://doi.org/10.1007/s11225-026-10243-y (Original work published 2026)