|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
V. I. Panteleev, L. V. Ryabets Irkutsk State University |
|||
Abstract: In this paper, we consider the action of the operator with branching on equality on the set of multifunction functions of rank 2. Eleven precomplete sets of multifunctions are determined and a completeness criterion is formulated. |