RUS  ENG
Full version
VIDEO LIBRARY

International workshop "Syntax and semantics of logical systems"
August 12, 2019 12:00, Ņamp site on the shore of Lake Hovsgol


$ES_U$-completeness criterion of multifunctions on two-element set

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.


© Steklov Math. Inst. of RAS, 2024