Many-valued aspects of tense an related operators
Published: Apr 24, 2025
Last Updated: Apr 24, 2025
Authors:Michal Botur, Jan Paseka, Richard Smolka
Abstract
Our research builds upon Halmos's foundational work on functional monadic Boolean algebras and our previous work on tense operators to develop three essential constructions, including the important concepts of fuzzy sets and powerset operators. These constructions have widespread applications across contemporary mathematical disciplines, including algebra, logic, and topology. The framework we present generates four covariant and two contravariant functors, establishing three adjoint situations.