STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
author
Abstract:
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of three-valued Stone spaces.Then we extend Flaminio-Montagna internal states to $Rsb{0}$-algebras.Such internal states must be idempotent MV-endomorphisms of $Rsb{0}$-algebras.Lastly we present a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras with Flaminio-Montagna internal states and the category of three-valued Stone spaces with Zadeh type idempotent continuous endofunctions.These dualities provide a topological viewpoint for better understanding of the algebraic structures of $Rsb{0}$-algebras.
similar resources
Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
Recently Flaminio and Montagna, [FlMo], extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis–Sikorski Theorem for monotone σ-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (...
full textStone duality for nominal Boolean algebras with ‘new’: topologising Banonas
We define Boolean algebras over nominal sets with a functionsymbol Nmirroring the N‘fresh name’ quantifier. We also define dual notions of nominal topology and Stone space, prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.
full textStone Duality for Skew Boolean Algebras with Intersections
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective étale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with in...
full textFilters of R0-algebras
In order to research the logical system whose propositional value is given in a lattice from the semantic viewpoint, Xu [7] proposed the concept of lattice implication algebras, and discussed some of their properties. Xu and Qin [8] introduced the notion of implicative filters in a lattice implication algebra, and investigated some of their properties. Turunen [5] introduced the notion of Boole...
full textPseudo-Weak-R0 Algebras
A positive answer to the open problem of Iorgulescu on extending weak-R 0 algebras and R 0-algebras to the noncommutative forms is given. We show that pseudo-weak-R 0 algebras are categorically isomorphic to pseudo-IMTL algebras and that pseudo-R 0 algebras are categorically isomorphic to pseudo-NM algebras. Some properties, the noncommutative forms of the properties in weak-R 0 algebras and R ...
full textBounded Archimedean `-algebras and Gelfand-neumark-stone Duality
By Gelfand-Neumark duality, the category C∗Alg of commutative C∗algebras is dually equivalent to the category of compact Hausdorff spaces, which by Stone duality, is also dually equivalent to the category uba` of uniformly complete bounded Archimedean `-algebras. Consequently, C∗Alg is equivalent to uba`, and this equivalence can be described through complexification. In this article we study u...
full textMy Resources
Journal title
volume 14 issue 4
pages 139- 161
publication date 2017-08-30
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023