Algebraic properties of program integration

We define lifting properties for universal algebras, which we study in this general context and then particularize to various such properties in certain classes of algebras. Next we focus on residuated lattices, in which we investigate lifting ...

In this study, we introduce the concepts of L-valued regular substitution (LA-substitution), deterministic L-valued regular substitution (DLA-substitution), L-valued fuzzy homomorphism and its inverse images, homomorphism and its inverse images for a ...

In this paper we introduce and study a new class of posets, that we call zircons, which includes all Coxeter groups partially ordered by Bruhat order. We prove that many of the properties of Coxeter groups extend to zircons often with simpler proofs: ...