22 research outputs found
Priestley duality for MV-algebras and beyond
We provide a new perspective on extended Priestley duality for a large class
of distributive lattices equipped with binary double quasioperators. Under this
approach, non-lattice binary operations are each presented as a pair of partial
binary operations on dual spaces. In this enriched environment, equational
conditions on the algebraic side of the duality may more often be rendered as
first-order conditions on dual spaces. In particular, we specialize our general
results to the variety of MV-algebras, obtaining a duality for these in which
the equations axiomatizing MV-algebras are dualized as first-order conditions
DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM.
In this thesis we study particular subclasses of WNM algebras.
The variety of WNM algebras forms the algebraic semantics of the
WNM logic, a propositional many-valued logic that generalizes some
well-known case in the setting of triangular norms logics.
WNM logic lies in the hierarchy of schematic extensions of MTL, which is
proven to be the logic of all left-continuous triangular norms and their residua.
In this work, I have extensively studied two extensions
of WNM logic, namely RDP logic and NMG logic, from the point of view of
algebraic and categorical logic.
We develop spectral dualities between the varieties of algebras
corresponding to RDP logic and NMG logic, and suitable defined combinatorial categories.
Categorical dualities allow to give algorithmic construction of products in
the dual categories obtaining computable descriptions of coproducts
(which are notoriously hard to compute working only in the algebraic side)
for the corresponding finite algebras. As a byproduct, representation theorems
for finite algebras and free finitely generated algebras in the considered varieties
are obtained. This latter characterization is especially useful to provide explicit
construction of a number of objects relevant from the point of view of the logical
interpretation of the varieties of algebras: normal forms, strongest deductive
interpolants and most general unifiers
Categories of Residuated Lattices
We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on extended Priestley duality in which the ternary relation dualizing a residuated multiplication may be viewed as the graph of a partial function. We also present a new Esakia-like duality for Sugihara monoids in the spirit of Dunn\u27s binary Kripke-style semantics for the relevance logic R-mingle
The Reticulation of a Universal Algebra
The reticulation of an algebra is a bounded distributive lattice whose prime spectrum of filters or ideals is homeomorphic to the prime
spectrum of congruences of , endowed with the Stone topologies. We have
obtained a construction for the reticulation of any algebra from a
semi-degenerate congruence-modular variety in the case when the
commutator of , applied to compact congruences of , produces compact
congruences, in particular when has principal commutators;
furthermore, it turns out that weaker conditions than the fact that belongs
to a congruence-modular variety are sufficient for to have a reticulation.
This construction generalizes the reticulation of a commutative unitary ring,
as well as that of a residuated lattice, which in turn generalizes the
reticulation of a BL-algebra and that of an MV-algebra. The purpose of
constructing the reticulation for the algebras from is that of
transferring algebraic and topological properties between the variety of
bounded distributive lattices and , and a reticulation functor is
particularily useful for this transfer. We have defined and studied a
reticulation functor for our construction of the reticulation in this context
of universal algebra.Comment: 29 page
Functorial Properties of the Reticulation of a Universal Algebra
The reticulation of an algebra A is a bounded distributive lattice whose
prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic
to the prime spectrum of congruences of A, with its own Stone topology.
The reticulation allows algebraic and topological properties to be transferred
between the algebra A and this bounded distributive lattice, a transfer which
is facilitated if we can define a reticulation functor from a variety containing A
to the variety of (bounded) distributive lattices. In this paper, we continue the
study of the reticulation of a universal algebra initiated in [27], where we have
used the notion of prime congruence introduced through the term condition
commutator, for the purpose of creating a common setting for the study of the
reticulation, applicable both to classical algebraic structures and to the algebras
of logics. We characterize morphisms which admit an image through th