Related papers: Involutive Commutative Residuated Lattice without …

Let $G$ be a connected, semisimple, real Lie group with finite centre, with real rank at least two. B.Deroin and S.Hurtado recently proved the 30-year-old conjecture that no irreducible lattice in $G$ has a left-invariant total order.…

During the last decades, a lot of effort was put into identifying decidable fragments of first-order logic. Such efforts gave birth, among the others, to the two-variable fragment and the guarded fragment, depending on the type of…

Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…

It this note we investigate the structure of the group of \sigma-unitary units in some noncommutative modular group algebras KG, where \sigma is a non-classical ring involution of KG.

Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a prominent role is inquisitive first-order logic, InqBQ, which…

Let $G$ be a real Lie group and $\Gamma < G$ be a discrete subgroup of $G$. Is $\Gamma$ residually finite? This paper describes known positive and negative results then poses some questions whose answers will lead to a fairly complete…

We prove that any ergodic measure-preserving action of an irreducible lattice in a semisimple group, with finite center and each simple factor having rank at least two, either has finite orbits or has finite stabilizers. The same dichotomy…

Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.

Differential structure of lattices can be defined if the lattices are treated as models of noncommutative geometry. The detailed construction consists of specifying a generalized Dirac operator and a wedge product. Gauge potential and field…

We study the representations of a class of non-commutative polynomial algebras truncated at degree 3, with one additional relation. We determine the irreducible components of their varieties of representations. We do this by showing that…

A nucleus $\gamma$ on a (bounded commutative integral) residuated lattice $\mathbf{A}$ is a closure operator that satisfies the inequality $\gamma(a) \cdot \gamma(b) \leq \gamma(a \cdot b)$ for all $a,b \in A$. In this article, among…

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…

We establish conditions under which lattices in certain simple Lie groups are profinitely solitary in the absolute sense, so that the commensurability class of the profinite completion determines the commensurability class of the group…

We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of…

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.

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

Graded Hecke algebras can be constructed in terms of equivariant cohomology and constructible sheaves on nilpotent cones. In earlier work, their standard modules and their irreducible modules where realized with such geometric methods. We…

We apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation…

If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct…

This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated…