HOW QUANTALES EMERGE BY INTRODUCING INDUCTION WITHIN THE OPERATIONAL APPROACH

We formally introduce and study a notion of 'soft induction' on entiti es with an operationally motivated logico-algebraic description, and i n particular the derived notions of 'induced state transition' and 'in duced property transition'. We study the meaningful collections of the se soft inductions which all have a quantale structure due to the intr oduction of temporal composition and arbitrary choice on the level of these state transitions and the corresponding property transitions.