Related papers: Boolean Lifting Property for Residuated Lattices
The notion of variation is introduced for the Boolean set and based on which Boolean logic backpropagation principle is developed. Using this concept, deep models can be built with weights and activations being Boolean numbers and operated…
Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free…
Lattice induced threshold function is a Boolean function determined by a particular linear combination of lattice elements. We prove that every isotone Boolean function is a lattice induced threshold function and vice versa. We also…
In representation theory, the double centraliser property is an important property for a module (bimodule). It plays a fundamental role in many theories. In this paper, we extend this property to complexes in derived categories of finite…
We introduce a new technique for the study of the local extension property (LEP) for boolean algebras and we use it to show that the clopen algebra of every compact Hausdorff space $K$ of finite height has LEP. This implies, under…
The paper presents several combinatorial properties of the boolean cumulants. A corollary is a new proof of the multiplicative property of the boolean cumulant series that can be easily adapted for the case of boolean independence with…
This paper explores the concept of \'{e}tal\'{e} spaces associated with residuated lattices. Notions of bundles and \'{e}tal\'{e}s of residuated lattices over a given topological space are introduced and investigated. For a topological…
Regarding non-unique factorization of integer-valued polynomials over a discrete valuation domain $(R,M)$ with finite residue field, it is known that there exist absolutely irreducible elements, that is, irreducible elements all of whose…
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation…
Motivated by the study of directed polymer models with random weights on the square integer lattice, we define an integrability property shared by the log-gamma, strict-weak, beta, and inverse-beta models. This integrability property…
Coincidence Site Lattices (CSLs) are a well established tool in the theory of grain boundaries. For several lattices up to dimension $d=4$, the CSLs are known explicitly as well as their indices and multiplicity functions. Many of them…
We characterize the situations in which certain accumulation properties of topological spaces are preserved under taking products.
We consider some natural (functorial) lifts of geometric objects associated with statistical manifolds (metric tensor, dual connections, skewness tensor, etc.) to higher tangent bundles. It turns out that the lifted objects form again a…
We study the Bishop-Phelps-Bollob\'as property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications,…
We prove a super-rigidity result for algebraic representations over complete fields of irreducible lattices in product of groups and lattices with dense commensurator groups. We derive some criteria for non-linearity of such groups.
Multiparameter persistent homology has been largely neglected as an input to machine learning algorithms. We consider the use of lattice-based convolutional neural network layers as a tool for the analysis of features arising from…
We study the uniqueness of minimal liftings of cut-generating functions obtained from maximal lattice-free polyhedra. We prove a basic invariance property of unique minimal liftings for general maximal lattice-free polyhedra. This…
We develop a new method, based on non-vanishing of second cohomology groups, for proving the failure of lifting properties for full C$^*$-algebras of countable groups with (relative) property (T). We derive that the full C$^*$-algebras of…
We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We…
We develop a Van der Waerden type theorem in an axiomatic setting of graded lattices and show that this axiomatic formulation can be applied to various lattices, for instance the set partition and the Boolean lattices. We derive the…