Related papers: Co-Stone residuated lattices
A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs,…
For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in…
We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…
Refutation calculi are formal systems developed to derive the invalid formulas of a given logic. While the notion of refutation calculi has played a key role in the development of tableaux calculi, a refutation approach to display calculi…
Quantum material phases such as the Anderson insulator, diffusive metal, and Weyl/Dirac semimetal as well as topological insulators show specific wave functions both in real and Fourier spaces. These features are well captured by…
Based on algebraic number theory we construct some families of rotated Dn-lattices with full diversity which can be good for signal transmission over both Gaussian and Rayleigh fading channels. Closed-form expressions for the minimum…
A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and…
The effects of periodic and aperiodic distortions on the structure factor and radial distribution function of single-component lattices are investigated. To this end, different kinds of distortions are applied to the otherwise perfect…
In this paper we introduce a variant of the honeycomb lattice in which we create defects by randomly exchanging adjacent bonds, producing a random tiling with a distribution of polygon edges. We study the percolation properties on these…
The residual interaction for a meson-meson system is computed utilizing the cumulant, or cluster, expansion of the momentum-space time correlation matrix. The cumulant expansion serves to define asymptotic, or free, meson-meson operators.…
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can simultaneously satisfy residuation principles and…
Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra…
This paper investigates the structure-property relations of thin-walled lattices under dynamic longitudinal compression, characterized by their cross-sections and heights. These relations elucidate the interactions of different geometric…
The commutator operation in a congruence-modular variety $\mathcal{V}$ allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$. The first systematic study of this spectrum can be…
In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It…
In this work, we give a decomposition of a martingale into three martingales with applications to certain types of inequalities in the new theory of Stochastic Analysis in Vector Lattices
We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.
We study the pointed lattice subreducts of varieties of residuated lattices (RLs) and commutative residuated lattices (CRLs), i.e. lattice subreducts expanded by the constant 1 denoting the multiplicative unit. Given any positive universal…
The aim of our study is to improve the description of suspended sediment transport over wave ripples. We will first show the importance of sediment diffusivity with convective transfer (hereafter called) which is different from the sediment…
In this paper we introduce some lattices of classes of left R-module relative to a preradical sigma. These lattices are generalizations of the lattices R-TORS, R-tors, R-nat, R-conat, of torsion theories, hereditary torsion theories,…