Video library: V. I. Panteleev, L. V. Ryabets, $ES_U$-completeness criterion of multifunctions on two-element set

Videolibrary

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Video Library
	Archive
	Most viewed videos

	Search
	RSS
	New in collection

International workshop "Syntax and semantics of logical systems"
August 12, 2019 12:00–12:30, С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

*Supplementary materials:*
	Adobe PDF	928.9 Kb

Number of views:
This page:	79
Materials:	2

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.

Supplementary materials:

Пантелеев_Рябец.pdf (928.9 Kb)

Registration to the website

Logotypes