BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Antonio Di Nola contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details.
In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators. The survey focuses mainly on the connections between MV-algebras and other theories that such a semiringbased approach enabled, and on an application of such a framework to Digital Image Processing. We also give some suggestions for further developments by stating several open problems and possible research lines.
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are categorically equivalent with unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent with the class of commutative unital C$^*$-algebras. The propositional calculus ${\mathbb R}{\cal L}$ that has Riesz MV-algebras as models is a conservative extension of Łukasiewicz $\infty$-valued propositional calculus and it is complete with respect to evaluations in the standard model $[0,1]$. We prove a normal form theorem for this logic, extending McNaughton theorem for Łukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in ${\mathbb R}{\cal L}$ and we relate them with the analogue of de Finetti's coherence criterion for ${\mathbb R}{\cal L}$.
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible $σ$-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.