Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic |
scientific article |
Statements
Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (English)
0 references
25 June 2021
0 references
\par There exists the concept of \textit{topological system} of \textit{S. Vickers} [Topology via logic. Cambridge etc.: Cambridge University Press (1989; Zbl 0668.54001)], which provides a common framework for both topological spaces (point-set topology) and their underlying algebraic structures -- frames or locales (point-free topology). A \textit{topological system} is a triple \(D=(X,A,\models)\), where \(X\) is a set, \(A\) is a frame (i.e., a complete lattice, in which finite meets distribute over arbitrary joins), and \(\models\) is a binary relation on \(X\times A\), which satisfies the following two conditions: (1) for every \(x\in X\) and every \textit{finite} subset \(S\subseteq A\), it follows that \(x\models\bigwedge S\) if and only if \(x\models s\) for every \(s\in S\); (2) for every \(x\in X\) and every subset \(S\subseteq A\), it follows that \(x\models\bigvee S\) if and only if \(x\models s\) for some \(s\in S\). Given topological systems \(D_1=(X_1,A_1,\models_1)\) and \(D_2=(X_2,A_2,\models_2)\), a morphism of topological systems (also called a \textit{continuous map}) is a pair \((f,\varphi):D_1\rightarrow D_2\), where \(f:X_1\rightarrow X_2\) is a map, and \(\varphi:A_2\rightarrow A_1\) is a frame homomorphism such that \(x_1\models_1\varphi(a_2)\) if and only if \(f(x_1)\models_2 a_2\) for every \(x_1\in X_1\) and every \(a_2\in A_2\). Every topological space \((X,\tau)\) provides a topological system \((X,\tau,\in)\), where \(\tau\) is the space topology, and ``\(\in\)'' is the standard ``element of'' relation between points and sets. Additionally, every frame \(A\) gives rise to a topological system \((Pt(A),A,\models)\), where \(Pt(A)\) is the set of all frame homomorphisms \(p\) from \(A\) to the two-element frame \(\mathbf{2}=\{\bot,\top\}\), and \(p\models a\) if and only if \(p(a)=\top\) for every \(p\in Pt(A)\) and every \(a\in A\). In particular, the category of locales (resp. topological spaces) is isomorphic to a full (resp. co)reflective subcategory of the category of topological systems, which provides the so-called system localification (resp. spatialization) procedure. Moreover, one also obtains an equivalence between the categories of localic topological spaces and spatial locales. \par Motivated by the concept of lattice-valued topological system of, e.g., \textit{J. T. Denniston} et al. [Fuzzy Sets Syst. 192, 58--103 (2012; Zbl 1244.54013)], the present paper provides a lattice-valued analogue of the above-mentioned systems-spaces-locales relationships in case of certain many-valued logics. The authors employ logical structures of, e.g., \textit{Y. Maruyama} [Lect. Notes Comput. Sci. 5378, 170--184 (2009; Zbl 1209.03018)] (see also [\textit{Y. Maruyama}, Fundam. Inform. 106, No. 2--4, 273--294 (2011; Zbl 1259.03090)]), namely, those of Fitting's lattice-valued logic [\textit{M. C. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3--4, 235--254 (1991; Zbl 0745.03018)] and lattice-valued modal logic instead of frames \(A\) in the setting of topological systems above, and change the binary relation ``\textit{models}'' accordingly (e.g., make it a lattice-valued relation). In particular, they show that certain categories of systems, spaces, and many-valued logical structures are equivalent. \par The paper is sufficiently well written, provides nearly all of its required preliminaries, and (despite its certain technicality) will be of interest to all those researchers who study various categorical approaches to many-valued logic.
0 references
Boolean algebra
0 references
Boolean space
0 references
Boolean system
0 references
filter
0 references
frame
0 references
Hausdorff space
0 references
Heyting algebra
0 references
lattice-valued logic
0 references
modal logic
0 references
relational system
0 references
topological system
0 references
universal arrow
0 references
zero-dimensional space
0 references
0 references