Persona: Rivieccio, Umberto
Cargando...
Dirección de correo electrónico
ORCID
0000-0003-1364-5003
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Rivieccio
Nombre de pila
Umberto
Nombre
16 resultados
Resultados de la búsqueda
Mostrando 1 - 10 de 16
Publicación Priestley duality for bilattices(Springer, 2012) Jung, Achim; Rivieccio, UmbertoWe develop a Priestley-style duality theory for different classes of algebras having a bilattice reduct. A similar investigation has already been realized by B. Mobasher, D. Pigozzi, G. Slutzki and G. Voutsadakis, but only from an abstract category-theoretic point of view. In the present work we are instead interested in a concrete study of the topological spaces that correspond to bilattices and some related algebras that are obtained through expansions of the algebraic language.Publicación Representation of interlaced trilattices(Elsevier, 2013) Rivieccio, UmbertoTrilattices are algebraic structures introduced ten years ago into logic with the aim to provide a uniform framework for the notions of constructive truth and constructive falsity. In more recent years, trilattices have been used to introduce a number of many-valued systems that generalize the Belnap–Dunn logic of first-degree entailment, proposed as logics of how several computers connected together in a network should think in order to deal with incomplete and possibly contradictory information. The aim of the present work is to develop a first purely algebraic study of trilattices, focusing in particular on the problem of representing certain subclasses of trilattices as special products of bilattices. This approach allows to extend the known representation results for interlaced bilattices to the setting of trilattices and to reduce many algebraic problems concerning these new structures to the better-known framework of lattice theory.Publicación Residuated bilattices(Springer, 2012) Jansana, Ramón; Rivieccio, UmbertoWe introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.Publicación Neutrosophic logics: prospects and problems(Elsevier, 2008) Rivieccio, UmbertoNeutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic.Publicación The logic of distributive bilattices(Oxford University Press, 2011) Bou, Félix; Rivieccio, UmbertoBilattices, introduced by Ginsberg (1988, Comput. Intell., 265–316) as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron (1996, J. Logic Lang. Inform., 5, 25–63) developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract algebraic logic (AAL). We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú (1995, Algebraizable Gentzen Systems and the Deduction of Theorem for Gentzen Systems) (even if the logic itself is not algebraizable). We also prove some purely algebraic results concerning bilattices, for instance that the variety of (unbounded) distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron (1996, Math. Struct. Comput. Sci., 6, 287–299) stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices (of which distributive bilattices are a proper subclass).Publicación An infinity of super-Belnap logics(Taylor & Francis, 2012) Rivieccio, UmbertoWe look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical matrix. We show that the last logic of the chain is not finitely axiomatisable.Publicación Nothing but the truth(Springer, 2013) Pietz, Andreas; Rivieccio, Umberto::virtual::5522::600; Rivieccio, Umberto; Rivieccio, Umberto; Rivieccio, UmbertoA curious feature of Belnap’s “useful four-valued logic”, also known as first-degree entailment (FDE), is that the overdetermined value B (both true and false) is treated as a designated value. Although there are good theoretical reasons for this, it seems prima facie more plausible to have only one of the four values designated, namely T (exactly true). This paper follows this route and investigates the resulting logic, which we call Exactly True Logic.Publicación Intuitionistic modal algebras(Springer Nature, 2023-09-15) Celani, Sergio A.; Rivieccio, UmbertoRecent research on algebraic models of quasi-Nelson logic has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a nucleus. Among these various algebraic structures, for which we employ the umbrella term intuitionistic modal algebras, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of weak implicative semilattices, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus.Publicación Dualities for modal N4-lattices(Oxford University Press, 2014-08) Jansana, Ramon; Rivieccio, UmbertoWe introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple description for our topological structures, which allows us to extend the duality to other algebraic structures such as N4-lattices with monotonic modal operators, and also to provide a neighbourhood semantics for the non-normal modal logic corresponding to these algebras.Publicación Compatibly involutive residuated lattices and the Nelson identity(Springer Nature, 2018-11-03) Matthew Spinks; Rivieccio, Umberto; Nascimento, Thiago