After dropping the implication-like operation and reversing the order, an MTL-algebra becomes a partially ordered structure (L;≤,⊕, 0, 1) based on the single addition-like operation ⊕. Furthermore, ⊕ may be restricted to a partial, but cancellative addition + without loss of information. We deal in this paper with the case that the resulting partial algebra (L;≤,+, 0, 1) is embeddable into the ...

In this paper, we present equivalent characterizations of L-closure systems on lower bounded complete L-ordered sets and complete L-lattices, respectively. These results demonstrate the feasibility of notion of fuzzy closure system developed in our previous work (L.-K. Guo, G.-Q. Zhang, Q.-G. Li: Fuzzy closure systems on L-ordered sets. Math. Log. Quart. 57 (3) (2011), 281-291.). Also we develo...

Derivative lattices associated with partially ordered linear spaces over skew fields are considered. Properties of the convex projective geometry $$ \mathcal{L} for a space FV field F investigated. The convexity subspaces means Abelian (ab-convexity), which is based on definition subgroup group. It shown that ab-convex directed plays theory same role as subgroups groups. We obtain element-wise ...

A closed subalgebra of a Banach algebra is called maximal if it is not contained in any larger proper closed subalgebra. Let G be a discrete abelian topological group and L its group-algebra, i.e. L is the Banach algebra of functions/on G with E*e<J |/(X)| < °° and multiplication defined as convolution. What are the maximal subalgebras of L? The complete answer is not known even when G is the g...

As an application of the dual equivalence between the category of L-spatialC-objects and the category of L-sober C-M-L-spaces, it is shown in this paper that for a fixed augmented partially ordered set A, there exists a dual equivalence between the category of A-spatial augmented partially ordered sets and the category of A-sober A-valued spaces. Then, with regard to this duality, for a fixed (...

Continuing our categorical study of L-fuzzy extensions of formal concept analysis, we provide a representation theorem for the category of L-Chu correspondences between L-formal contexts and prove that it is equivalent to the category of completely lattice L-ordered sets.