English
Related papers

Related papers: Relatively residuated lattices and posets

200 papers

We investigate a certain class of posets arising from semilattice actions. Let $S$ be a semilattice with identity. Let $S$ act on a set $C$. For $c,d\in C$ put $c\leq d$ iff there is some $s\in S$ with $ds=c$. Then $(C,\leq)$ is a poset.…

Logic · Mathematics 2016-09-16 Lawrence Valby

We introduce the blockwise gluing construction. This describes residuated integral chains which can be decomposed into (possibly) partial algebras, stacked one on top of the other, and such that elements in a certain component multiply in…

Logic · Mathematics 2025-12-22 Valeria Giustarini , Sara Ugolini

We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show…

Geometric Topology · Mathematics 2013-12-17 Jozef H. Przytycki , Krzysztof K. Putyra

The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed…

Combinatorics · Mathematics 2018-10-18 Xu Wang , Xuxu Zhao , Haiyuan Yao

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

Logic · Mathematics 2021-05-18 Ivan Chajda , Helmut Länger

If a partition of a lattice in R^d is selfsimilar, it is called lattice substitution system (LSS). Such sets represent nonperiodic, but highly ordered structures. An important property of such structures is, whether they are model sets or…

Metric Geometry · Mathematics 2013-10-17 Dirk Frettlöh

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…

Logic · Mathematics 2024-04-09 Adam Přenosil

Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic…

Rings and Algebras · Mathematics 2010-07-05 David J. Foulis , Sylvia Pulmannova , Elena Vincekova

We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are…

Logic · Mathematics 2017-01-04 Sergey V. Sudoplatov

Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and…

Rings and Algebras · Mathematics 2022-08-09 Ivan Chajda , Helmut Länger

We present an approximation to topological spaces by {\it noncommutative} lattices. This approximation has a deep physical flavour based on the impossibility to fully localize particles in any position measurement. The original space being…

Mathematical Physics · Physics 2007-05-23 Giovanni Landi , Fedele Lizzi

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…

Logic · Mathematics 2021-06-24 Almudena Colacito , Constantine Tsinakis

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…

Logic · Mathematics 2022-09-05 Paolo Aglianò , Sara Ugolini

Distributive Stonean residuated lattices are closely related to Stone algebras since their bounded lattice reduct is a Stone algebra. In the present work we follow the ideas presented by Chen and Gr\"{a}tzer and try to apply them for the…

Logic · Mathematics 2017-10-18 Manuela Busaniche , Roberto Cignoli , Miguel Marcos

We provide the first examples of lattices on irreducible buildings that are not residually finite. Assuming that the normal subgroup property holds for them (which is expected) five of the lattices are simple.

Group Theory · Mathematics 2025-09-08 Thomas Titz Mite , Stefan Witzel

In this paper we present some applications of the reticulation of a residuated lattice, in the form of a transfer of properties between the category of bounded distributive lattices and that of residuated lattices through the reticulation…

Logic · Mathematics 2013-11-14 Claudia Mureşan

The concept of operator left residuation has been introduced by the authors in a previous paper. Modifications of so-called quantum structures, in particular orthomodular posets, like pseudo-orthomodular, pseudo-Boolean and Boolean posets…

Logic · Mathematics 2018-10-18 Ivan Chajda , Helmut Länger

Poset-theoretic generalizations of set-theoretic committee constructions are presented. The structure of the corresponding subposets is described. Sequences of irreducible fractions associated to the principal order ideals of finite bounded…

Combinatorics · Mathematics 2008-12-15 Andrey O. Matveev

Quasi-lattices are introduced in terms of 'join' and 'meet' operations. It is observed that quasi-lattices become lattices when these operations are associative and when these operations satisfy 'modularity' conditions. A fundamental…

Combinatorics · Mathematics 2019-05-14 C. Ganesa Moorthy , SG. Karpagavalli

A partially ordered set P is representable if there is a bounded distributive lattice such that its ordered set of prime ideals is order-isomorphic to P. We show that if the order components of a poset P are representable, then so is P.…

Logic · Mathematics 2007-05-30 Michael E. Adams , Dominic van der Zypen