Search
Search Results
-
On Piecewise-Linear Homeomorphisms Between Distributive and Anti-blocking Polyhedra
Stanley (1986) introduced the order polytope and chain polytope of a partially ordered set and showed that they are related by a piecewise-linear... -
Lattices 1 + L as \(\operatorname {L}_{\text{q}}(\mathcal K)\)
In this chapter we consider conditions under which, given a finite join semidistributive lattice, the linear sum... -
Real Spectrum Versus ℓ-Spectrum via Brumfiel Spectrum
It is well known that the real spectrum of any commutative unital ring, and the ℓ -spectrum of any Abelian lattice-ordered group with order-unit, are...
-
Correspondence Theory on Vector Spaces
This paper extends correspondence theory to the framework of \(\mathbb {K}\)... -
Meet meets join: the interaction between pooled and common knowledge
This paper explores the lattice-theoretic properties of the family of all partitions of an arbitrary state space. I discuss a duality correspondence...
-
Brown’s Representation Theorem
In this chapter, we observe that every fuzzy lattice is isomorphic to a simple texture and vice versa. Let U be a domain of discourse. The family of... -
Tensor triangular geometry of filtered objects and sheaves
We compute the Balmer spectra of compact objects of tensor triangulated categories whose objects are filtered or graded objects of (or sheaves valued...
-
The Canonical Complex of the Weak Order
We define and study the canonical complex of a finite semidistributive lattice L . It is the simplicial complex on the join or meet irreducible...
-
Algebraic Presentation of Semifree Monads
Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting... -
\({\mathcal {C}}_1\)-diagrams of slim rectangular semimodular lattices permit quotient diagrams
Slim semimodular lattices (for short, SPS lattices ) and slim rectangular lattices (for short, SR lattices ) were introduced by Grätzer and Knapp (Acta...
-
The fundamental theorem of finite semidistributive lattices
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff’s Fundamental Theorem of Finite Distributive...
-
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
We study the correspondence theory of intuitionistic modal logic in modal Fairtlough–Mendler semantics (modal FM semantics) (Fairtlough and Mendler...
-
Generalized absolute values, ideals and homomorphisms in mixed lattice groups
A mixed lattice group is a generalization of a lattice ordered group. The theory of mixed lattice semigroups dates back to the 1970s, but the...
-
Introduction
This monograph studies the lattice of subquasivarieties of a quasivariety. We consider both the properties that these lattices have, and which... -
Preclops on Finite Lattices
A preclop is a closure operator on a lattice that satisfies some of the known properties of the equational closure operator on subquasivariety... -
Some further results on pointfree convex geometry
Inspired by locale theory, pointfree convex geometry was first proposed and studied by Yoshihiro Maruyama. In this paper, we shall continue to his...
-
-
On the relation between the subadditivity cone and the quantum entropy cone
Given a multipartite quantum system, what are the possible ways to impose mutual independence among some subsystems, and the presence of correlations...