Related papers: Congruence Boolean Lifting Property
Amalgamation is investigated in classes of involutive commutative residuated lattices that are neither divisible, nor integral, nor idempotent. We demonstrate that several subclasses of totally ordered involutive commutative residuated…
We present CLP(BN), a novel approach that aims at expressing Bayesian networks through the constraint logic programming framework. Arguably, an important limitation of traditional Bayesian networks is that they are propositional, and thus…
We obtain the natural diagonal almost product and locally product structures on the total space of the cotangent bundle of a Riemannian manifold. We find the Riemannian almost product (locally product) and the (almost) para-Hermitian…
In this work large families of naturally graded nilpotent Lie algebras in arbitrary dimension and characteristic sequence (n,q,1), with n odd, satisfying the centralizer property, are given. This condtion constitutes a generalization, for a…
Three basic properties that standard graded artinian $k$-algebras may or may not enjoy are the Weak and Strong Lefschetz Properties and the Maximal Rank Property (respectively WLP, SLP, and MRP). In this paper we will assume that the base…
In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…
We prove a characterization for BLD-mappings between locally complete locally compact path-metric spaces. As a corollary we obtain a sharp limit theorem for BLD-mappings.
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…
We characterize the finite distributive lattices on which there exists a unique compatible algebra with straightening laws.
Lifting properties for Banach spaces are studied. An alternate version of the lifting property due to Lindenstrass and Tzafriri is proposed and a characterization, up to isomorphism, is given. The quotient lifting property for pairs of…
Recent developments of Baxter algebras have lead to applications to combinatorics, number theory and mathematical physics. We relate Baxter algebras to Stirling numbers of the first kind and the second kind, partitions and multinomial…
In this paper we study the class of modules with fusion and implication based over distributive lattices, or FIDL-modules, for short. We introduce the concepts of FIDL-subalgebra and FIDL-congruence as well as the notions of simple and…
A CP semigroup is a semigroup of normal unit-preserving completely positive maps acting on the algebra B(H) of all operators on a separable Hilbert space H. Such a semigroup has a natural generator L; since the individual maps of the…
We continue a line of study about some local versions of Bishop-Phelps-Bollob\'as type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$,…
Given a lattice $\mathbb{L}$ and a class $K$ of algebraic structures, we say that $\mathbb{L}$ \emph{forces nilpotency} in $K$ if every algebra $\mathbf{A} \in K$ whose congruence lattice $\mathrm{Con} (\mathbf{A})$ is isomorphic to…
Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…
Learning from label proportions (LLP) is a weakly supervised setting for classification in which unlabeled training instances are grouped into bags, and each bag is annotated with the proportion of each class occurring in that bag. Prior…
We study the congeniality property of algebras, as defined by Bao, He, and Zhang, in order to establish a version of Auslander's theorem for various families of filtered algebras. It is shown that the property is preserved under homomorphic…
The Colombeau algebra of generalized functions allows to unrestrictedly carry out products of distributions. We analyze this operation from a microlocal point of view, deriving a general inclusion relation for wave front sets of products in…
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…