103 research outputs found
On a New Construction of Pseudo BL-Algebras
We present a new construction of a class pseudo BL-algebras, called kite
pseudo BL-algebras. We start with a basic pseudo hoop . Using two injective
mappings from one set, , into the second one, , and with an identical
copy with the reverse order we construct a pseudo BL-algebra
where the lower part is of the form and the upper one is
. Starting with a basic commutative hoop we can obtain even a
non-commutative pseudo BL-algebra or a pseudo MV-algebra, or an algebra with
non-commuting negations. We describe the construction, subdirect irreducible
kite pseudo BL-algebras and their classification
Some properties of state filters in state residuated lattices
summary:We consider properties of state filters of state residuated lattices and prove that for every state filter of a state residuated lattice : \begin {itemize} \item [(1)] is obstinate ; \item [(2)] is primary is a state local residuated lattice; \end {itemize} and that every g-state residuated lattice is a subdirect product of , where is a prime state filter of . \endgraf Moreover, we show that the quotient MTL-algebra of a state residuated lattice by a state prime filter is not always totally ordered, although the quotient MTL-algebra by a prime filter is totally ordered
Categories of Residuated Lattices
We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on extended Priestley duality in which the ternary relation dualizing a residuated multiplication may be viewed as the graph of a partial function. We also present a new Esakia-like duality for Sugihara monoids in the spirit of Dunn\u27s binary Kripke-style semantics for the relevance logic R-mingle
- …