Recent zbMATH articles in MSC 06D22https://www.zbmath.org/atom/cc/06D222022-05-16T20:40:13.078697ZWerkzeugFrames of continuous functionshttps://www.zbmath.org/1483.060132022-05-16T20:40:13.078697Z"Lowen, Wendy"https://www.zbmath.org/authors/?q=ai:lowen.wendy"Sioen, Mark"https://www.zbmath.org/authors/?q=ai:sioen.mark"Van Den Haute, Wouter"https://www.zbmath.org/authors/?q=ai:van-den-haute.wouterIn this paper, the authors propose a new approach to representing a topological space via a frame of continuous functions with values in what they call a topological frame. A topological frame is a frame \(\mathbb{F}\) equipped with a topology such that the operations \[\wedge\colon \mathbb{F}\times \mathbb{F} \to \mathbb{F}\colon (a,b)\mapsto a\wedge b\] and \[\sup_{i\in I}\colon \mathbb{F}^I\to \mathbb{F}\colon (a_i)_{i\in I}\mapsto \sup_{i\in I} a_i\] are continuous. The idea extends that of pointfree topology of investigating topological spaces via their open-set lattices (which are frames of continuous functions to the Sierpinski space).
The authors investigate properties of a topological space \(X\) via the frame of continuous functions from \(X\) to a topological frame \(\mathbb{F}\), namely the associated notion of sobriety (\(\mathbb{F}\)-sobriety). One of the interesting results provides conditions on \(\mathbb{F}\) ensuring that a Hausdorff topological space is \(\mathbb{F}\)-sober. These conditions are fulfilled as soon as \(\mathbb{F}\) is a chain with \(0\neq 1\) equipped with the Scott topology. Further, \(\mathbb{F}\)-spectra of \(\mathbb{F}\)-function frames are computed for various spaces \(X\) and frames \(\mathbb{F}\) and a number of spaces that are not \(\mathbb{F}\)-sober are exhibited, showing in particular that the Hausdorff condition in the aforementioned result cannot be relaxed to classical sobriety. A final section discusses the relation between \(\mathbb{F}\)-sobriety and the notion of \(\mathbb{F}\)-fuzzy sobriety as considered in [\textit{D. Zhang} and \textit{Y. Liu}, Fuzzy Sets Syst. 76, No. 2, 259--270 (1995; Zbl 0852.54008)].
The paper ends with a brief outline of some open problems.
Reviewer: Jorge Picado (Coimbra)Weakly spatial localeshttps://www.zbmath.org/1483.060142022-05-16T20:40:13.078697Z"Sun, Xiang Rong"https://www.zbmath.org/authors/?q=ai:sun.xiangrong"He, Wei"https://www.zbmath.org/authors/?q=ai:he.wei.2|he.wei|he.wei.3|he.wei.1(no abstract)On continuous functions on \(LG\)-topologyhttps://www.zbmath.org/1483.540012022-05-16T20:40:13.078697Z"Badie, Mehdi"https://www.zbmath.org/authors/?q=ai:badie.mehdi"Shahidikia, Ali"https://www.zbmath.org/authors/?q=ai:shahidikia.ali"Kasiri, Hossein"https://www.zbmath.org/authors/?q=ai:kasiri.hosseinSummary: In this article, we introduce \(OLG\), \(CLG\) and \(LG\) maps in the context of \(LGT\)-spaces (\(l\)-generalized topological spaces, see [\textit{A. R. Aliabad} and \textit{A. Sheykhmiri}, Bull. Iran. Math. Soc. 41, No. 1, 239--258 (2015; Zbl 1345.06007)]), show that they are generalizations of continuous function on \(LGT\)-spaces and some properties of them studied. Also, some generalized notions related to continuous functions as weak topology induced, quotient topology and decomposition topology are introduced and studied and is shown that each decomposition space is an \(LG\)-quotient space.A study of algebras and logics of rough sets based on classical and generalized approximation spaceshttps://www.zbmath.org/1483.684052022-05-16T20:40:13.078697Z"Kumar, Arun"https://www.zbmath.org/authors/?q=ai:kumar.arun-m|kumar.arun-nSummary: The seminal work of
\textit{Z. Pawlak} [Int. J. Comput. Inform. Sci. 11, 341--356 (1982; Zbl 0501.68053)]
on rough set theory has attracted the attention of researchers from various disciplines. Algebraists introduced some new algebraic structures and represented some old existing algebraic structures in terms of algebras formed by rough sets. In Logic, the rough set theory serves the models of several logics. This paper is an amalgamation of algebras and logics of rough set theory. We prove a structural theorem for Kleene algebras, showing that an element of a Kleene algebra can be looked upon as a rough set in some appropriate approximation space. The proposed propositional logic \(\mathcal{L}_K\) of Kleene algebras is sound and complete with respect to a 3-valued and a rough set semantics.
This article also investigates some negation operators in classical rough set theory, using Dunn's approach. We investigate the semantics of the Stone negation in perp frames, that of dual Stone negation in exhaustive frames, and that of Stone and dual Stone negations with the regularity property in \(K_-\) frames. The study leads to new semantics for the logics corresponding to the classes of Stone algebras, dual Stone algebras, and regular double Stone algebras. As the perp semantics provides a Kripke type semantics for logics with negations, exploiting this feature, we obtain duality results for several classes of algebras and corresponding frames.
In another part of this article, we propose a granule-based generalization of rough set theory. We obtain representations of distributive lattices (with operators) and Heyting algebras (with operators). Moreover, various negations appear from this generalized rough set theory and achieved new positions in Dunn's Kite of negations.
For the entire collection see [Zbl 1475.68025].An abstract theory of physical measurementshttps://www.zbmath.org/1483.810152022-05-16T20:40:13.078697Z"Resende, Pedro"https://www.zbmath.org/authors/?q=ai:resende.pedroSummary: The question of what should be meant by a measurement is tackled from a mathematical perspective whose physical interpretation is that a measurement is a fundamental process via which a finite amount of classical information is produced. This translates into an algebraic and topological definition of \textit{measurement space} that caters for the distinction between quantum and classical measurements and allows a notion of observer to be derived.