121 research outputs found
On some properties of quasi-MV algebras and square root quasi-MV algebras, IV
In the present paper, which is a sequel to
[20, 4, 12], we investigate further the structure theory of quasiMV
algebras and √0quasi-MV algebras. In particular: we provide
a new representation of arbitrary √0qMV algebras in terms
of √0qMV algebras arising out of their MV* term subreducts of
regular elements; we investigate in greater detail the structure
of the lattice of √0qMV varieties, proving that it is uncountable,
providing equational bases for some of its members, as well as
analysing a number of slices of special interest; we show that the
variety of √0qMV algebras has the amalgamation property; we
provide an axiomatisation of the 1-assertional logic of √0qMV
algebras; lastly, we reconsider the correspondence between Cartesian
√0qMV algebras and a category of Abelian lattice-ordered
groups with operators first addressed in [10]
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
We study representations of MV-algebras -- equivalently, unital
lattice-ordered abelian groups -- through the lens of Stone-Priestley duality,
using canonical extensions as an essential tool. Specifically, the theory of
canonical extensions implies that the (Stone-Priestley) dual spaces of
MV-algebras carry the structure of topological partial commutative ordered
semigroups. We use this structure to obtain two different decompositions of
such spaces, one indexed over the prime MV-spectrum, the other over the maximal
MV-spectrum. These decompositions yield sheaf representations of MV-algebras,
using a new and purely duality-theoretic result that relates certain sheaf
representations of distributive lattices to decompositions of their dual
spaces. Importantly, the proofs of the MV-algebraic representation theorems
that we obtain in this way are distinguished from the existing work on this
topic by the following features: (1) we use only basic algebraic facts about
MV-algebras; (2) we show that the two aforementioned sheaf representations are
special cases of a common result, with potential for generalizations; and (3)
we show that these results are strongly related to the structure of the
Stone-Priestley duals of MV-algebras. In addition, using our analysis of these
decompositions, we prove that MV-algebras with isomorphic underlying lattices
have homeomorphic maximal MV-spectra. This result is an MV-algebraic
generalization of a classical theorem by Kaplansky stating that two compact
Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous
[0, 1]-valued functions on the spaces are isomorphic.Comment: 36 pages, 1 tabl
Belief functions on MV-algebras of fuzzy sets: An overview
Belief functions are the measure theoretical objects Dempster-Shafer evidence theory is based on. They are in fact totally monotone capacities, and can be regarded as a special class of measures of uncertainty used to model an agent's degrees of belief in the occurrence of a set of events by taking into account different bodies of evidence that support those beliefs. In this chapter we present two main approaches to extending belief functions on Boolean algebras of events to MV-algebras of events, modelled as fuzzy sets, and we discuss several properties of these generalized measures. In particular we deal with the normalization and soft-normalization problems, and on a generalization of Dempster's rule of combination. © 2014 Springer International Publishing Switzerland.The authors also acknowledge partial support by the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-
247584). Also, Flaminio acknowledges partial support of the Italian project FIRB 2010 (RBFR10DGUA-002), Kroupa has been supported by the grant GACR 13-20012S, and Godo acknowledges partial support of the Spanish
projects EdeTRI (TIN2012-39348-C02-01) and Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010).Peer Reviewe
Remarks on the order-theoretical and algebraic properties of quantum structures
This thesis is concerned with the analysis of common features and distinguishing traits of algebraic structures arising in the sharp as well as in the unsharp approaches to quan- tum theory both from an order-theoretical and an algebraic perspective. Firstly, we recall basic notions of order theory and universal algebra. Furthermore, we introduce fundamental concepts and facts concerning the algebraic structures we deal with, from orthomodular lattices to e↵ect algebras, MV algebras and their non-commutative gener- alizations. Finally, we present Basic algebras as a general framework in which (lattice) quantum structures can be studied from an universal algebraic perspective.
Taking advantage of the categorical (term-)equivalence between Basic algebras and Lukasiewicz near semirings, in Chapter 3 we provide a structure theory for the lat- ter in order to highlight that, if turned into near-semirings, orthomodular lattices, MV algebras and Basic algebras determine ideals amenable of a common simple description. As a consequence, we provide a rather general Cantor-Bernstein Theorem for involutive left-residuable near semirings.
In Chapter 4, we show that lattice pseudoe↵ect algebras, i.e. non-commutative gener- alizations of lattice e↵ect algebras can be represented as near semirings. One one side, this result allows the arithmetical treatment of pseudoe↵ect algebras as total structures; on the other, it shows that near semirings framework can be really seen as the common “ground” on which (commutative and non commutative) quantum structures can be studied and compared.
In Chapter 5 we show that modular paraorthomodular lattices can be represented as semiring-like structures by first converting them into (left-) residuated structures. To this aim, we show that any modular bonded lattice A with antitone involution satisfying a strengthened form of regularity can be turned into a left-residuated groupoid. This condition turns out to be a sucient and necessary for a Kleene lattice to be equipped with a Boolean-like material implication.
Finally, in order to highlight order theoretical peculiarities of orthomodular quantum structures, in Chapter 6 we weaken the notion of orthomodularity for posets by introduc- ing the concept of the generalized orthomodularity property (GO-property) expressed in terms of LU-operators. This seemingly mild generalization of orthomodular posets and its order theoretical analysis yields rather strong applications to e↵ect algebras, and orthomodular structures. Also, for several classes of orthoalgebras, the GO-property yields a completely order-theoretical characterization of the coherence law and, in turn, of proper orthoalgebras
On some Properties of Quasi MV Algebras and √quasi-MV Algebras. Part III.
In the present paper, which is a sequel to [14] and [3], we investigate further the structure theory of quasi-MV algebras and √′quasi-MV algebras. In particular: we provide an improved version of the subdirect representation theorem for both varieties; we characterise the Ursini ideals of quasi-MV algebras; we establish a restricted version of J´onsson’s lemma, again for both varieties; we simplify the proof of standard completeness for the variety of √′ quasi-MV algebras; we show that this same variety has the finite embeddability property; finally, we investigate the structure of the lattice of subvarieties of √′quasi-MV algebras
Self-Attention in Colors: Another Take on Encoding Graph Structure in Transformers
We introduce a novel self-attention mechanism, which we call CSA (Chromatic
Self-Attention), which extends the notion of attention scores to attention
_filters_, independently modulating the feature channels. We showcase CSA in a
fully-attentional graph Transformer CGT (Chromatic Graph Transformer) which
integrates both graph structural information and edge features, completely
bypassing the need for local message-passing components. Our method flexibly
encodes graph structure through node-node interactions, by enriching the
original edge features with a relative positional encoding scheme. We propose a
new scheme based on random walks that encodes both structural and positional
information, and show how to incorporate higher-order topological information,
such as rings in molecular graphs. Our approach achieves state-of-the-art
results on the ZINC benchmark dataset, while providing a flexible framework for
encoding graph structure and incorporating higher-order topology
Quantale Modules, with Applications to Logic and Image Processing
We propose a categorical and algebraic study of quantale modules. The results
and constructions presented are also applied to abstract algebraic logic and to
image processing tasks.Comment: 150 pages, 17 figures, 3 tables, Doctoral dissertation, Univ Salern
- …