A topos view of the type-2 fuzzy truth value algebra

DOI10.1007/978-3-030-38565-1_4arXiv1810.07565OpenAlexW2897457077MaRDI QIDQ6308403FDOQ6308403

John Harding, Carol Walker

Publication date: 17 October 2018

Abstract: It is known that fuzzy set theory can be viewed as taking place within a topos. There are several equivalent ways to construct this topos, one is as the topos of '{e}tal'{e} spaces over the topological space $Y=[0,1)$ with lower topology. In this topos, the fuzzy subsets of a set $X$ are the subobjects of the constant '{e}tal'{e} $XimesY$ where $X$ has the discrete topology. Here we show that the type-2 fuzzy truth value algebra is isomorphic to the complex algebra formed from the subobjects of the constant relational '{e}tal'{e} given by the type-1 fuzzy truth value algebra $mathfrakI=([0,1],wedge,vee,eg,0,1)$. More generally, we show that if $L$ is the lattice of open sets of a topological space $Y$ and $mathfrakX$ is a relational structure, then the convolution algebra $L^{m}athfrakX$ is isomorphic to the complex algebra formed from the subobjects of the constant relational '{e}tal'{e} given by $mathfrakX$ in the topos of '{e}tal'{e} spaces over $Y$.

Full work available at URL: https://doi.org/10.1007/978-3-030-38565-1_4

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Fuzzy logic; logic of vagueness (03B52) Topoi (18B25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Mathematical logic and foundations (03-XX)

This page was built for publication: A topos view of the type-2 fuzzy truth value algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308403)