Another look on tense and related operators (Q2099808): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Sergey A. Solovyov / rank | |||
Property / reviewed by | |||
Property / reviewed by: Sergey A. Solovyov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4308001824 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 2207.05453 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3819682 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2799965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on fuzzy powerset operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extension principles for fuzzy set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3259695 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3282928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic and Categorical Aspects of Quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the extension principle for fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of Distributive Lattices by means of ordered Stone Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3246315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2702342 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4915485 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological representations of distributive lattices and Brouwerian logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of the extension principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective hulls for ordered algebras / rank | |||
Normal rank |
Latest revision as of 21:15, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Another look on tense and related operators |
scientific article |
Statements
Another look on tense and related operators (English)
0 references
18 November 2022
0 references
Building on the category \(\mathbb{S}\) of sup-semilattices (complete lattices) and sup-preserving maps (maps preserving arbitrary joins), the authors consider three basic constructions, which find their use in various branches of modern mathematics (including algebra, logic, and topology). More precisely, the authors construct: (1) a sup-semilattice \(L^J\) equipped with a unary operation \(F\) (called an \textit{\(F\)-sup-semilattice}) from a sup-semilattice \(L\) and a frame \(J\), where a \textit{frame} \(J\) is a pair \((T,S)\), which consists of a set \(T\) and a binary relation \(S\); (2) a sup-semilattice \(J\otimes H\) from a frame \(J\) and an \(F\)-sup-semilattice \(H\); and (3) a frame \(J[H,L]\) from an \(F\)-sup-semilattice \(H\) and a sup-semilattice \(L\). These constructions give rise to four covariant and two contravariant functors between certain categories. In particular, one arrives at the backward powerset operator of, e.g., [\textit{L. A. Zadeh}, Inf. Control 8, 338--353 (1965; Zbl 0139.24606)] and tense operators of, e.g., [\textit{I. Chajda} and \textit{J. Paseka}, Algebraic approach to tense operators. Lemgo: Heldermann Verlag (2015; Zbl 1350.03002)] as a particular case of the above constructions. Moreover, the obtained results provide a unifying view on recent achievements in representations of tense operators in various categories of partially ordered sets and lattices. While considering representations and approximations of sup-semilattices with unary operations, the authors take their motivation in the book of \textit{P. R. Halmos} on functional monadic Boolean algebras [Algebraic logic. New York: Chelsea Publishing Company (1962; Zbl 0101.01101)]. The paper is well written, gives most of its required preliminaries (the omitted ones can be found in the list of references at the end of the paper), and will be of interest to the researchers studying applications of the theory of sup-lattices.
0 references
closure operator
0 references
congruence relation
0 references
frame
0 references
functor
0 references
lax morphism
0 references
nucleus
0 references
powerset operator
0 references
sup-semilattice
0 references
tense operator
0 references