FG1 Seminar talk

2014-12-18
Ivan Chajda
Tense operators on spaces of numerical events

Abstract:
Abstract: Spaces of numerical events were introduced for the sake to establish a propositional logic of physical phenomena. Since physical phenomenona are variable in time, it is a natural task to develop temporal logic for this description. Hence we adopt the concept of tense operators used in classical propositional calculus and several sorts of non-classical ones (e.g. Lukasiewicz many-valued logic, intuitionistic logic, etc.). It turns out that the full set of of states on a given space of numerical events can serve as a time scale if it is equipped withh a suitable relation of time preference. A construction of tense operators is developed and a certain representation is derived.