Type algebras, functor categories and block structure

The paper provides an analogue of the famous equivalence between the categories of sober topological spaces and spatial locales for the framework of (L,M)-fuzzy topology of Kubiak and Sostak (and partly to that of Guido). To be more general, we replace ...

We introduce the notion of an anti-dendriform algebra as a new approach of splitting the associativity. It is characterized as the algebra with two multiplications giving their left and right multiplication operators, respectively, such that the ...$\mathcal{}$

Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...