Abstract
Spaces of numerical events were introduced for the sake to establish a propositional logic of physical phenomena. Since physical phenomena 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 logic and in several sorts of non-classical one (e. g. Lukasiewicz many-valued logic, intuitionistic logic etc.). It turns out that the full set of states on a given space of numerical events can serve as a time scale if it is equipped with a suitable relation of time preference. A construction of tense operators is developed and a certain representation is derived. Finally, tense operators on spaces of numerical events whose elements have only the values 0 or 1 are characterized.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
