Algebra 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.