Семантика с истинностными провалами, пресыщенными оценками и понятие логического следованиятезисы доклада