This chapter is a survey on projective algebras in varieties of hoops and their connection to unification problems for the logics of which they are the equivalent algebraic semantics.
Agliano', P., Ugolini, S. (2025). Unification via Projectivity in Varieties of Hoops. In M. Mitrović, M. N. Hounkonnou (a cura di), Algebra without borders (pp. 181-208). Cham : Springer [10.1007/978-3-031-86477-3_5].
Unification via Projectivity in Varieties of Hoops
Agliano', Paolo;
2025-01-01
Abstract
This chapter is a survey on projective algebras in varieties of hoops and their connection to unification problems for the logics of which they are the equivalent algebraic semantics.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1300034