О разрешимости релевантной логики RAOтезисы доклада