   
 3 Fusion Logic
3.1 SyntaxState formulae:
Transition formulae:
Fusion expressions:
Right Fusion logic formulae:
Left Fusion logic formulae: Fusion logic formulae:
3.2 SemanticsA state is a mapping from the set of propositional variables to the set of Boolean values . is the semantic ‘true’ value and the semantic ‘false’ value. We will use to denote states and to denote the set of all possible states. Example 1 Let be a state such that
_____________________________________________________________________ An interval is a finite sequence of states Let denote the set of all possible finite intervals with at least one state. The length of an interval is denoted by and is the number of states minus 1. Example 2
_____________________________________________________________________ Let be an interval then
Example 3 Let be an interval then
_____________________________________________________________________ Let be the “meaning” function from to and let be a finite interval () then Let be the “meaning” function from to and let be a finite interval () then Let be the “meaning” function from to and let be a finite interval () then Let be the “meaning” function from to and let be a finite interval () then Let be the “meaning” function from to and let be a finite interval () then Derived Fusion expression operators
Derived right Fusion logic operators Derived left Fusion logic operators
  

 