Related papers: $n$-normal residuated lattices
By a rectangular distributive lattice we mean the direct product of two non-singleton finite chains. We prove that the retracts (ordered by set inclusion and together with the empty set) of a rectangular distributive lattice $G$ form a…
In this document we consider the prime spectrum of an MV-algebra with certain natural operations. These are used to show connections between the classes of prime lattice filters and prime implication filters.
An extension of the divisibility relation on $\mathbb{N}$ to the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ was defined and investigated in several papers during the last ten years. Here we make a survey of results obtained so…
We investigate the distribution of the function $\omega(n)$, the number of distinct prime divisors of $n$, in residue classes modulo $q$ for natural numbers $q$ greater than 2. In particular we ask `prime number races' style questions, as…
Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most skew lattices of interest are categorical, not all are. They are characterized by a countable family of…
We reinterpret the Rhodes semilattices $R_n(\mathfrak{G})$ of a group $\mathfrak{G}$ in terms of gain graphs and generalize them to all gain graphs, both as sets of partition-potential pairs and as sets of subgraphs, and for the latter,…
In residuated binars there are six non-obvious distributivity identities of $\cdot$,$/$,$\backslash$ over $\wedge, \vee$. We show that in residuated binars with distributive lattice reducts there are some dependencies among these…
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…
The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…
In this paper we define the Boolean Lifting Property (BLP) for residuated lattices to be the property that all Boolean elements can be lifted modulo every filter, and study residuated lattices with BLP. Boolean algebras, chains, local and…
The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures.…
Following [Botur, M., Chajda, I., Hala\v{s}, R.: Are basic algebras residuated structures?, Soft Comput. 14 (2010), 251-255] we discuss the connections between left-residuated partially ordered groupoids and the so-called basic algebras,…
Given a bounded lattice $L$ with bounds $0$ and $1$, it is well known that the set $\mathsf{Pol}_{0,1}(L)$ of all $0,1$-preserving polynomials of $L$ forms a natural subclass of the set $\mathsf{C}(L)$ of aggregation functions on $L$. The…
We introduce a new canonical form of lattices called the systematic normal form (SNF). We show that for every lattice there is an efficiently computable "nearby" SNF lattice, such that for any lattice one can solve lattice problems on its…
We describe a natural generalization of irreducibility in order lattices with arbitrary metrics. We analyse the special cases of valuation metrics and more general metrics for lattices. This article is mainly based on a part of the author's…
The aim of this paper is to study the profiniteness of compact topological residuated lattices and the existence of Hausdorff topological residuated lattices. Firstly, we study profinite residuated lattices and obtain sufficient and…
In a capacitated directed graph, it is known that the set of all min-cuts forms a distributive lattice [1], [2]. Here, we describe this lattice as a regular predicate whose forbidden elements can be advanced in constant parallel time after…
We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures.…
The present article studies nilpotent and Hamiltonian cancellative residuated lattices and their relationship with nilpotent and Hamiltonian lattice-ordered groups. In particular, results about lattice-ordered groups are extended to the…
Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map…