Current Project


Abstract

"The present project is a continuation of the project 'Algebraic Study of Tense Logics.' In this new stage, we will further delve into the study of the foundations of tense logics using algebraic and topological tools. Specifically, we will focus on the study of tense operators on Nelson algebras, bounded distributive lattices, Lukasiewicz-Moisil algebras, Tkm-algebras, M3-lattices, modal pseudocomplemented De Morgan algebras, Heyting algebras, Hilbert algebras, and T-rough algebras. It is an open project in the sense that it allows the incorporation of new topics, and while aiming to address various specific problems, some of them are interrelated.