Лекция 3. Д.С. Шамканов. Нефундированные выводы и алгебраическая семантика