ABSTRACT

To start with (I) : the additional primitive symbols and syntactic rules in­ volved with new syntactic categories, added to those of the syntactic system

of EL are given below: (i) { .} ./.

where V M denotes the set of discourse markers of type (s, e) and {^4/x} a state switcher acting on any term of an arbirtary type t.