Video library: E. S. Taglasov, V. I. Panteleev, Criterion for the $ES_I$-completeness of Sets of Multifunctions of Rank 2

VIDEO LIBRARY


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

Criterion for the $ES_I$-completeness of Sets of Multifunctions of Rank 2 E. S. Taglasov, V. I. Panteleev Irkutsk State University
Abstract: In this paper the $ES_I$-closure of multifunction defined on a two-element set is considered. Examples of complete sets are given, a criterion of functional completeness is formulated and proved.