О точных моделях логики свидетельствтезисы доклада