ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2020, ТОМ 23, ВЫПУСК 2, СТР. 247-257

Сети доказательства для исчисления Ламбека с одним делением и модальностью для ослабления, используемой только при отрицательной полярности

А. Е. Пентус
М. Р. Пентус

Аннотация

Полнотекстовая версия статьи в формате PDF (144 Kb)

URL страницы: http://mech.math.msu.su/~fpm/rus/k20/k202/k20213g.htm
Изменения вносились 27 марта 2021 г.