-
Piggybacking over unbounded distributive lattices
Authors:
Leonardo M. Cabrer,
Hilary A. Priestley
Abstract:
This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory to parallel what is known for the exhaustively-studied bounded case was initially driven by need. This arose in connection with a major investigation of Sugiha…
▽ More
This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory to parallel what is known for the exhaustively-studied bounded case was initially driven by need. This arose in connection with a major investigation of Sugihara algebras and Sugihara monoids. The theorems in this paper apply in a systematic way to a range of examples:varieties of Sugihara type; other classes of algebras previously treated ad hoc; and further classes as required.
△ Less
Submitted 16 February, 2020;
originally announced February 2020.
-
Sugihara algebras and monoids: multisorted dualities
Authors:
L. M. Cabrer,
H. A. Priestley
Abstract:
The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these quasivarieties which, via the Test Spaces Method devised by Cabrer et al., give access to a viable method for studying admissible rules within relevance logic, specifically for extensions of the deductive system $R$-mingl…
▽ More
The authors developed in a recent paper natural dualities for finitely generated quasivarieties of Sugihara algebras. They thereby identified the admissibility algebras for these quasivarieties which, via the Test Spaces Method devised by Cabrer et al., give access to a viable method for studying admissible rules within relevance logic, specifically for extensions of the deductive system $R$-mingle.
This paper builds on the work already done on the theory of natural dualities for Sugihara algebras. Its purpose is to provide an integrated suite of multisorted duality theorems of a uniform type, encompassing finitely generated quasivarieties and varieties of both Sugihara algebras and Sugihara monoids, and embracing both the odd and the even cases. The overarching theoretical framework of multisorted duality theory developed here leads on to amenable representations of free algebras. More widely, it provides a springboard to further applications.
△ Less
Submitted 10 March, 2019; v1 submitted 28 January, 2019;
originally announced January 2019.
-
Sugihara Algebras: Admissibility Algebras via the Test Spaces Method
Authors:
Leonardo Cabrer,
Hilary Priestley
Abstract:
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated with the relevant logic R-mingle. The motivation for the paper comes from the study of admissible rules. Recent earlier work by the present authors, jointly with Freisberg and Metcalfe, laid the theoretical foundations for…
▽ More
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated with the relevant logic R-mingle. The motivation for the paper comes from the study of admissible rules. Recent earlier work by the present authors, jointly with Freisberg and Metcalfe, laid the theoretical foundations for a feasible approach to this problem for a range of logics---the Test Spaces Method. The method, based on natural duality theory, provides an algorithm to obtain the algebra of minimum size on which admissibility of sets of rules can be tested. (In the most general case a set of such algebras may be needed rather than just one.) The method enables us to identify this `admissibility algebra' for each quasivariety of Sugihara algebras which is generated by an algebra whose underlying lattice is a finite chain. To achieve our goals, it was first necessary to develop a (strong) duality for each of these quasivarieties. The dualities promise also to also provide a valuable new tool for studying the structure of Sugihara algebras more widely.
△ Less
Submitted 7 October, 2018; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Checking Admissibility Using Natural Dualities
Authors:
Leonardo M. Cabrer,
Benjamin Freisberg,
George Metcalfe,
Hilary A. Priestley
Abstract:
This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Rothlisberger that is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with stru…
▽ More
This paper presents a new method for obtaining small algebras to check the admissibility-equivalently, validity in free algebras-of quasi-identities in a finitely generated quasivariety. Unlike a previous algebraic approach of Metcalfe and Rothlisberger that is feasible only when the relevant free algebra is not too large, this method exploits natural dualities for quasivarieties to work with structures of smaller cardinality and surjective rather than injective morphisms. A number of case studies are described here that could not be be solved using the algebraic approach, including (quasi)varieties of MS-algebras, double Stone algebras, and involutive Stone algebras.
△ Less
Submitted 13 December, 2018; v1 submitted 6 January, 2018;
originally announced January 2018.
-
MV-algebras, infinite dimensional polyhedra, and natural dualities
Authors:
Leonardo M. Cabrer,
Luca Spada
Abstract:
We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is no need of using presentations of MV-algebras in order to obtain the adjunction. We also provide a description of the dual maps that is intrinsically geometric,…
▽ More
We connect the dual adjunction between MV-algebras and Tychonoff spaces with the general theory of natural dualities, and provide a number of applications. In doing so, we simplify the aforementioned construction by observing that there is no need of using presentations of MV-algebras in order to obtain the adjunction. We also provide a description of the dual maps that is intrinsically geometric, and thus avoids the syntactic notion of definable map. Finally, we apply these results to better explain the relation between semisimple tensor products and coproducts of MV-algebras, and we extend beyond the finitely generated case the characterisations of strongly semisimple and polyhedral MV-algebras.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Retractions of free MV-algebras and unital $\ell$-groups
Authors:
L. M. Cabrer,
D. Mundici
Abstract:
A number of papers deal with the problem of counting the number of retractions of a structure $S$ onto a substructure $T.$ In the particular case when $S$ is a free algebra, this number is $\geq 1$ iff $T$ is projective. In this paper we consider the case when $T$ is a projective lattice-ordered abelian group with a distinguished strong order unit, or equivalently, a projective MV-algebra.
Let…
▽ More
A number of papers deal with the problem of counting the number of retractions of a structure $S$ onto a substructure $T.$ In the particular case when $S$ is a free algebra, this number is $\geq 1$ iff $T$ is projective. In this paper we consider the case when $T$ is a projective lattice-ordered abelian group with a distinguished strong order unit, or equivalently, a projective MV-algebra.
Let $A$ be a retract of the free $n$-generator MV-algebra $\mathcal{M}([0,1]^n)$ of McNaughton functions on $[0,1]^n$. We prove that the number $\mathsf{r}(A)$ of retractions of $\mathcal{M}([0,1]^n)$ onto $A$ is finite if, and only if, the maximal spectral space $μ_A$ is homeomorphic to a (Kuratowski) closed domain $M$ of $[0,1]^n$, in the sense that $M=\mathsf{cl}(\mathsf{int}(M))$. Further, the closed domain condition is decidable and $\mathsf{r}(A)$ is computable, once a retraction onto $A$ is explicitly given. Thus every finitely generated projective MV-algebra $B$ comes equipped with a new invariant $ι(B)=\sup\{\mathsf{r}(A) \mid \mbox{$A\cong B$ for $A$ a retract of $\mathcal{M}([0,1]^{k})$} \},$ where $k$ is the smallest number of generators of $B$. We compute $ι(B)$ for many projective MV-algebras $B$ considered in the literature. Various problems concerning retractions of free MV-algebras are shown to be decidable. Via the $Γ$ functor, our results and computations automatically transfer to finitely generated projective abelian $\ell$-groups with a distinguished strong unit.
△ Less
Submitted 20 September, 2015;
originally announced September 2015.
-
Exact Unification and Admissibility
Authors:
George Metcalfe,
Leonardo Cabrer
Abstract:
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always hav…
▽ More
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.
△ Less
Submitted 25 September, 2015; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Classifying $\mathsf{GL}(n,\mathbb Z)$-orbits of points and rational subspaces
Authors:
Leonardo Manuel Cabrer,
Daniele Mundici
Abstract:
We first show that the subgroup of the abelian real group $\mathbb{R}$ generated by the coordinates of a point in $x = (x_1,\dots,x_n)\in\mathbb{R}^n$ completely classifies the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x$. This yields a short proof of J.S.Dani's theorem: the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x\in\mathbb{R}^n$ is dense iff $x_i/x_j\in \mathbb{R} \setminus \mathbb Q$ for some…
▽ More
We first show that the subgroup of the abelian real group $\mathbb{R}$ generated by the coordinates of a point in $x = (x_1,\dots,x_n)\in\mathbb{R}^n$ completely classifies the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x$. This yields a short proof of J.S.Dani's theorem: the $\mathsf{GL}(n,\mathbb Z)$-orbit of $x\in\mathbb{R}^n$ is dense iff $x_i/x_j\in \mathbb{R} \setminus \mathbb Q$ for some $i,j=1,\dots,n$. We then classify $\mathsf{GL}(n,\mathbb Z)$-orbits of rational affine subspaces $F$ of $\mathbb{R}^n$. We prove that the dimension of $F$ together with the volume of a special parallelotope associated to $F$ yields a complete classifier of the $\mathsf{GL}(n,\mathbb Z)$-orbit of $F$.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
Natural dualities through product representations: bilattices and beyond
Authors:
Leonardo Cabrer,
Hilary Priestley
Abstract:
This paper focuses on natural dualities for varieties of bilattice-based algebras.Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations ov…
▽ More
This paper focuses on natural dualities for varieties of bilattice-based algebras.Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations over a base variety to be derived in a uniform and categorical manner. By combining this methodology with that of natural duality theory, we demonstrate how to build a natural duality for any bilattice-based variety which has a suitable product representation over a dualisable base variety. This procedure allows us systematically to present economical natural dualities for many bilattice-based varieties, for most of which no dual representation has previously been given. Among our results we highlight that for bilattices with a generalised conflation operation (not assumed to be an involution or commute with negation). Here both the associated product representation and the duality are new. Finally we outline analogous procedures for pre-bilattice-based algebras (so negation is absent).
△ Less
Submitted 16 July, 2015;
originally announced July 2015.
-
A general framework for product representations: bilattices and beyond
Authors:
L. M. Cabrer,
H. A. Priestley
Abstract:
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations and their product representations.
Our principal result is a very general product representation theorem. Specifically, we present a syntactic…
▽ More
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations and their product representations.
Our principal result is a very general product representation theorem. Specifically, we present a syntactic procedure (called duplication) for building a product algebra out of a given base algebra and a given set of terms. The procedure lifts functorially to the generated varieties and leads, under specified sufficient conditions, to a categorical equivalence between these varieties. When these conditions are satisfied, a very tight algebraic relationship exists between the base variety and the enriched variety. Moreover varieties arising as duplicates of a common base variety are automatically categorically equivalent to each other. Two further product representation constructions are also presented; these are in the same spirit as our main theorem and extend the scope of our analysis.
Our catalogue of applications selects varieties for which product representations have previously been obtained one by one, or which are new. We also reveal that certain varieties arising from the modelling of quite different operations are categorically equivalent. Among the range of examples presented, we draw attention in particular to our systematic treatment of trilattices.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
Unification on subvarieties of pseudocomplemented distributive lattices
Authors:
Leonardo Manuel Cabrer
Abstract:
In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.
In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Admissibility via Natural Dualities
Authors:
Leonardo Manuel Cabrer,
George Metcalfe
Abstract:
It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive l…
▽ More
It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Exact Unification
Authors:
Leonardo Cabrer,
George Metcalfe
Abstract:
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissibility for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a…
▽ More
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissibility for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.
△ Less
Submitted 21 October, 2014;
originally announced October 2014.
-
Rational Simplicial geometry and projective unital lattice-ordered abelian groups
Authors:
Leonardo Manuel Cabrer
Abstract:
A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a compact subset of $R^n$, the set $M(X)$ of real-valued piecewise linear maps with integer coefficients, whose addition and lattice operations defined pointwise and wh…
▽ More
A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a compact subset of $R^n$, the set $M(X)$ of real-valued piecewise linear maps with integer coefficients, whose addition and lattice operations defined pointwise and whose distinguished element is the constant map $1$, is a unital $\ell$-group.
In this paper we provide a geometric decription of finitely generated (regular) projective unital $\ell$-groups. We prove that a finitely unital $\ell$-group is projective if and only if it is isomorphic to $M(P)$ for some polyhedron $P$ which is rational, contractible, contains an integer point, and satisfies an elementary arithmetical-topological property.
△ Less
Submitted 28 May, 2014;
originally announced May 2014.
-
Classifying orbits of the affine group over the integers
Authors:
L. M. Cabrer,
D. Mundici
Abstract:
For each $n=1,2,\dots$, let $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$ be the affine group over the integers. For every point $x=(x_1,\dots,x_n) \in \mathbb{R}^n$ let $\mathrm{orb}(x)=\{γ(x)\in \mathbb{R}^n\midγ\in \mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n\}.$ Let $G_{x}$ be the subgroup of the additive group $\mathbb R$ generated by $x_1,\dots,x_n, 1$. If $\mathrm{rank}(G_x)\neq n$ then…
▽ More
For each $n=1,2,\dots$, let $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$ be the affine group over the integers. For every point $x=(x_1,\dots,x_n) \in \mathbb{R}^n$ let $\mathrm{orb}(x)=\{γ(x)\in \mathbb{R}^n\midγ\in \mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n\}.$ Let $G_{x}$ be the subgroup of the additive group $\mathbb R$ generated by $x_1,\dots,x_n, 1$. If $\mathrm{rank}(G_x)\neq n$ then $\mathrm{orb}(x)=\{y\in\mathbb{R}^n\mid G_y=G_x\}$. Thus,$G_x$ is a complete classifier of $\mathrm{orb}(x)$. By contrast, if $\mathrm{rank}(G_x)=n$, knowledge of $G_x$ alone is not sufficient in general to uniquely recover $\mathrm{orb}(x)$: as a matter of fact, $G_x$ determines precisely $\mathrm{max}(1,\frac{φ(d)}{2})$ different orbits, where $d$ is the denominator of the smallest positive nonzero rational in $G_x,$ and $φ$ is Euler function. To get a complete classification, rational polyhedral geometry provides an integer $1\leq c_x\leq \mathrm{max}(1,d/2)$ such that $\mathrm{orb}(y)=\mathrm{orb}(x) $ iff $(G_{x},c_{x})=(G_{y},c_{y})$.
△ Less
Submitted 15 March, 2014;
originally announced March 2014.
-
Interval MV-algebras and generalizations
Authors:
Leonardo Manuel Cabrer,
Daniele Mundici
Abstract:
For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise Łukasiewicz negation $\neg x=\{\neg α\mid α\in x\}$, (truncated) Minkowski sum, $x\oplus y=\{α\oplus β\mid α\in x,\,\,β\in y\}$, pointwise Łukasiewicz conjunction $x\odot y=\neg(\neg x\oplus \neg y)$, the operators $Δx=[\min x,\min x]$, $\nabla x=[\max x,\max x]$, and distinguished constants…
▽ More
For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise Łukasiewicz negation $\neg x=\{\neg α\mid α\in x\}$, (truncated) Minkowski sum, $x\oplus y=\{α\oplus β\mid α\in x,\,\,β\in y\}$, pointwise Łukasiewicz conjunction $x\odot y=\neg(\neg x\oplus \neg y)$, the operators $Δx=[\min x,\min x]$, $\nabla x=[\max x,\max x]$, and distinguished constants $0=[0,0],\,\, 1=[1,1],\,\,\, \mathsf{i} = A$. We list a few equations satisfied by the algebra $\mathcal I(A)=(I(A),0,1,\mathsf{i},\neg,Δ,\nabla,\oplus,\odot)$, call IMV-algebra every model ofthese equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra $\mathcal I(B)$ of all intervals in some MV-algebra $B$. We show that IMV-algebras are categorically equivalent to MV-algebras, and give a representation of free IMV-algebras. We construct Łukasiewicz interval logic, with its coNP-complete consequence relation, which we prove to be complete for $\mathcal I([0,1])$-valuations. For any class $\mathsf{Q}$ of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization $\mathcal I_{\mathsf{Q}}$ of the MV-algebraic functor $\mathcal I$, and give necessary and sufficient conditions for $\mathcal I_{\mathsf{Q}}$ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.
△ Less
Submitted 4 March, 2014;
originally announced March 2014.
-
Unification and Projectivity in De Morgan and Kleene Algebras
Authors:
Simone Bova,
Leonardo Cabrer
Abstract:
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
△ Less
Submitted 15 January, 2014;
originally announced January 2014.
-
A Stone-Weierstrass theorem for MV-algebras and unital $\ell$-groups
Authors:
L. M. Cabrer,
D. Mundici
Abstract:
Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$ of a finitely presented algebra $F$ to coincide with $F$. The separation and isomorphism conditions do not individually imply $A=F$. Various related problems,…
▽ More
Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$ of a finitely presented algebra $F$ to coincide with $F$. The separation and isomorphism conditions do not individually imply $A=F$. Various related problems, like the separation property of $A$, or $A\cong F$ (for $A$ a separating subalgebra of $F$), are shown to be (Turing-)decidable. We use tools from algebraic topology, category theory, polyhedral geometry and computational algebraic logic.
△ Less
Submitted 29 December, 2013;
originally announced December 2013.
-
Gödel algebras: interactive dualities and their applications
Authors:
Leonardo M. Cabrer,
Hilary A. Priestley
Abstract:
We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain.
The dualities we construct are tailored to admit a transparent translation to the more pictorial Priestley/Esakia duality and back again.
This enables us to combine the two approaches and so to capitalise on the virtues of both, in particular the categorical good b…
▽ More
We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain.
The dualities we construct are tailored to admit a transparent translation to the more pictorial Priestley/Esakia duality and back again.
This enables us to combine the two approaches and so to capitalise on the virtues of both, in particular the categorical good behaviour of a natural duality: we thereby demonstrate the fullness, or not, of each of our dualities; we obtain new results on amalgamation; and we also provide a simple treatment of coproducts.
△ Less
Submitted 21 December, 2013; v1 submitted 2 December, 2013;
originally announced December 2013.
-
Product representation for default bilattices: an application of natural duality theory
Authors:
L. M. Cabrer,
A. P. K. Craig,
H. A. Priestley
Abstract:
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model situations in which information is prioritised and so can be viewed hierarchically. These default bilattices are not interlaced: the lattice operations of one la…
▽ More
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model situations in which information is prioritised and so can be viewed hierarchically. These default bilattices are not interlaced: the lattice operations of one lattice structure do not preserve the order of the other one. The well-known product representation theorem for interlaced bilattices does not extend to bilattices which fail to be interlaced and the lack of a product representation has been a handicap to understanding the structure of default bilattices. In this paper we study, from an algebraic perspective, a hierarchy of varieties of default bilattices, allowing for different levels of default. We develop natural dualities for these varieties and thereby obtain a concrete representation for the algebras in each variety. This leads on to a form of product representation that generalises the product representation as this applies to distributive bilattices.
△ Less
Submitted 4 November, 2013;
originally announced November 2013.
-
Coproducts of distributive lattice-based algebras
Authors:
L. M. Cabrer,
H. A. Priestley
Abstract:
This paper presents a systematic study of coproducts. This is carried out principally, but not exclusively, for finitely generated quasivarieties A that admit a (term) reduct in the variety D of bounded distributive lattices. In this setting we present necessary and sufficient conditions on A for the forgetful functor U from A to D to preserve coproducts. We also investigate the possible behaviour…
▽ More
This paper presents a systematic study of coproducts. This is carried out principally, but not exclusively, for finitely generated quasivarieties A that admit a (term) reduct in the variety D of bounded distributive lattices. In this setting we present necessary and sufficient conditions on A for the forgetful functor U from A to D to preserve coproducts. We also investigate the possible behaviours of U as regards coproducts in A under weaker assumptions. Depending on the properties exhibited by the functor, different procedures are then available for describing these coproducts. We classify a selection of well-known varieties within our scheme, thereby unifying earlier results and obtaining some new ones. The paper's methodology draws heavily on duality theory. We use Priestley duality as a tool and our descriptions of coproducts are given in terms of this duality. We also exploit natural duality theory, specifically multisorted piggyback dualities, in our analysis of the behaviour of the forgetful functor into D. In the opposite direction, we reveal that the type of natural duality that the class A can possess is governed by properties of coproducts in A and the way in which the classes A and U(A) nteract.
△ Less
Submitted 21 August, 2013;
originally announced August 2013.
-
Distributive bilattices from the perspective of natural duality theory
Authors:
L. M. Cabrer,
H. A. Priestley
Abstract:
This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economically and in a uniform way, categories ofstructures dually equivalent to these varieties.We relate our dualities to the product representations for bilattices and to pre-existing dual representations by a simple translation…
▽ More
This paper provides a fresh perspective on the representation of distributive bilattices and of related varieties. The techniques of naturalduality are employed to give, economically and in a uniform way, categories ofstructures dually equivalent to these varieties.We relate our dualities to the product representations for bilattices and to pre-existing dual representations by a simple translation process which is an instance of a more general mechanism for connecting dualities based on Priestley duality to natural dualities. Our approach gives us access to descriptions of algebraic/categorical properties of bilattices and also reveals how `truth' and `knowledge' may be seen as dual notions.
△ Less
Submitted 15 January, 2014; v1 submitted 21 August, 2013;
originally announced August 2013.
-
Severi-Bouligand tangents, Frenet frames and Riesz spaces
Authors:
Leonardo Manuel Cabrer,
Daniele Mundici
Abstract:
It was recently proved that a compact set $X\subseteq \mathbb R^2$ has an outgoing Severi-Bouligand tangent vector $u\not=0$ at $x\in X$ iff some principal ideal of the Riesz space $\mathcal R(X)$ of piecewise linear functions on $X$ is not an intersection of maximal ideals. "Outgoing" means $X\cap [x,x+u]=\{x\}$.
Suppose now $X\subseteq \mathbb{R}^n$ and some principal ideal of $\mathcal R(X)$…
▽ More
It was recently proved that a compact set $X\subseteq \mathbb R^2$ has an outgoing Severi-Bouligand tangent vector $u\not=0$ at $x\in X$ iff some principal ideal of the Riesz space $\mathcal R(X)$ of piecewise linear functions on $X$ is not an intersection of maximal ideals. "Outgoing" means $X\cap [x,x+u]=\{x\}$.
Suppose now $X\subseteq \mathbb{R}^n$ and some principal ideal of $\mathcal R(X)$ is not an intersection of maximal ideals. We prove that this is equivalent to saying that $X$ contains a sequence $\{x_i\}$ whose Frenet $k$-frame $(u_1,\ldots,u_k)$ is an outgoing Severi-Bouligand tangent of $X$. When the $\{x_i\}$ are taken as sample points of a smooth curve $γ,$ the Frenet $k$-frames of $\{x_i\}$ and of $γ$ coincide. The computation of Frenet frames via sample sequences does not require the knowledge of any higher-order derivative of $γ$.
△ Less
Submitted 20 January, 2014; v1 submitted 3 August, 2013;
originally announced August 2013.
-
Bouligand-Severi $k$-tangents and strongly semisimple MV-algebras
Authors:
Leonardo Cabrer
Abstract:
An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi $k$-tangents. The latter are a $k$-dimensional generalisation of the classical Bouligand-Severi tangents.
An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi $k$-tangents. The latter are a $k$-dimensional generalisation of the classical Bouligand-Severi tangents.
△ Less
Submitted 22 July, 2013;
originally announced July 2013.
-
MV-algebras freely generated by finite Kleene algebras
Authors:
Stefano Aguzzoli,
Leonardo M. Cabrer,
Vincenzo Marra
Abstract:
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on homomorphisms. This functor U always has a left adjoint F: W->V by general considerations. One calls F(B) the V-algebra freely generated by the W-algebra B. Two problems arise naturally in this broad setting. The descript…
▽ More
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on homomorphisms. This functor U always has a left adjoint F: W->V by general considerations. One calls F(B) the V-algebra freely generated by the W-algebra B. Two problems arise naturally in this broad setting. The description problem is to describe the structure of the V-algebra F(B) as explicitly as possible in terms of the structure of the W-algebra B. The recognition problem is to find conditions on the structure of a given V-algebra A that are necessary and sufficient for the existence of a W-algebra B such that F(B) is isomorphic to A. Building on and extending previous work on MV-algebras freely generated by finite distributive lattices, in this paper we provide solutions to the description and recognition problems in case V is the variety of MV-algebras, W is the variety of Kleene algebras, and B is finitely generated--equivalently, finite. The proofs rely heavily on the Davey-Werner natural duality for Kleene algebras, on the representation of finitely presented MV-algebras by compact rational polyhedra, and on the theory of bases of MV-algebras.
△ Less
Submitted 14 June, 2013;
originally announced June 2013.
-
Simplicial geometry of unital lattice-ordered abelian groups
Authors:
Leonardo Manuel Cabrer
Abstract:
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder th…
▽ More
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder theorem for finitely presented unital $\ell$-groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $\FP$.
△ Less
Submitted 21 February, 2012;
originally announced February 2012.
-
Finitely presented lattice-ordered abelian groups with order-unit
Authors:
Leonardo Cabrer,
Daniele Mundici
Abstract:
Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital} $\ell$-groups---those $\ell$-groups having a distinguished order-unit $u$---only the $(\Leftarrow)$-direction holds in general. Morphisms in $\mathcal U$ are {\it unital…
▽ More
Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital} $\ell$-groups---those $\ell$-groups having a distinguished order-unit $u$---only the $(\Leftarrow)$-direction holds in general. Morphisms in $\mathcal U$ are {\it unital $\ell$-homomorphisms,} i.e., hom\-o\-mor\-phisms that preserve the order-unit and the lattice structure. We show that a unital $\ell$-group $(G,u)$ is finitely presented iff it has a basis, i.e., $G$ is generated by an abstract Schauder basis over its maximal spectral space. Thus every finitely generated projective unital $\ell$-group has a basis $\mathcal B$. As a partial converse, a large class of projectives is constructed from bases satisfying $\bigwedge\mathcal B\not=0$. Without using the Effros-Handelman-Shen theorem, we finally show that the bases of any finitely presented unital $\ell$-group $(G,u)$ provide a direct system of simplicial groups with 1-1 positive unital homomorphisms, whose limit is $(G,u)$.
△ Less
Submitted 21 June, 2010;
originally announced June 2010.
-
Classification of finitely generated lattice-ordered abelian groups with order-unit
Authors:
Manuela Busaniche,
Leonardo Cabrer,
Daniele Mundici
Abstract:
A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer multiples eventually dominate each element of $G$. We classify finitely generated unital $\ell$-groups by sequences $\mathcal W = (W_{0},W_{1},...)$ of weighted abstract simplicial complexes, where $W_{t+1}$ is obtain…
▽ More
A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer multiples eventually dominate each element of $G$. We classify finitely generated unital $\ell$-groups by sequences $\mathcal W = (W_{0},W_{1},...)$ of weighted abstract simplicial complexes, where $W_{t+1}$ is obtained from $W_{t}$ either by the classical Alexander binary stellar operation, or by deleting a maximal simplex of $W_{t}$. A simple criterion is given to recognize when two such sequences classify isomorphic unital $\ell$-groups. Many properties of the unital $\ell$-group $(G,u)$ can be directly read off from its associated sequence: for instance, the properties of being totally ordered, archimedean, finitely presented, simplicial, free.
△ Less
Submitted 14 August, 2009;
originally announced August 2009.
-
Rational polyhedra and projective lattice-ordered abelian groups with order unit
Authors:
Leonardo Cabrer,
Daniele Mundici
Abstract:
An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order unit, i.e., an element u in G whose positive integer multiples eventually dominate every element of G. While every finitely generated projective unital l-grou…
▽ More
An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order unit, i.e., an element u in G whose positive integer multiples eventually dominate every element of G. While every finitely generated projective unital l-group is finitely presented, the converse does not hold in general. Classical algebraic topology (a la Whitehead) will be combined in this paper with the Włodarczyk-Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital l-groups.
△ Less
Submitted 17 July, 2009;
originally announced July 2009.