STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES

author

  • Hui-Xian Shi School of Mathematics and Information Science, Shaanxi Normal University
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.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

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 text

Stone 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 text

Stone 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 text

Filters 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 text

Pseudo-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 text

Bounded 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 text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


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