BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Ciro Russo 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
We propose various methods for combining or amalgamating propositional languages and deductive systems. We make heavy use of quantales and quantale modules in the wake of previous works by the present and other authors. We also describe quite extensively the relationships among the algebraic and order-theoretic constructions and the corresponding ones based on a purely logical approach.
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.
We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an MV-sheaf of lattice-ordered Abelian groups, namely, a fuzzy sheaf in which the base (fuzzy) topological space is an MV-topological space and the stalks are Abelian $\ell$-groups.
In this paper we introduce the concept of MV-topology, a special class of fuzzy topological spaces, and prove a proper extension of Stone Duality to the categories of limit cut complete MV-algebras and Stone MV-spaces, namely, zero-dimensional compact Hausdorff MV-topological spaces. Then we describe the object class of limit cut complete MV-algebras, and show that any semisimple MV-algebra has a limit cut completion, namely, a minimum limit cut complete extension. Last, we compose our duality with other known ones, thus obtaining new categorical equivalences and dualities involving categories of MV-algebras.
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.
Aim of this paper is to address the problem of learning Boolean functions from training data with missing values. We present an extension of the BRAIN algorithm, called U-BRAIN (Uncertainty-managing Batch Relevance-based Artificial INtelligence), conceived for learning DNF Boolean formulas from partial truth tables, possibly with uncertain values or missing bits. Such an algorithm is obtained from BRAIN by introducing fuzzy sets in order to manage uncertainty. In the case where no missing bits are present, the algorithm reduces to the original BRAIN.
In this paper we show how certain techniques of image processing, having different scopes, can be joined together under a common "algebraic roof".
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to be precisely the homomorphisms between free objects in those categories - find concrete applications in two different branches of image processing, namely fuzzy image compression and mathematical morphology.
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as quasi-constant functions on an ultraproduct of the reals. All the above theorems are proved to have a uniform version, depending only on the cardinality of the algebra to be embedded, as well as a definable construction in ZFC. The paper contains both known and new results and provides a complete overview of representation theorems for such classes.
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.