Л. Л. Максимова, П. А. Шрайнер, “Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления”, Вестн. НГУ. Сер. матем., мех., информ., 2006, том 6, выпуск 3,страницы 49

Эта публикация цитируется в 2 статьях

Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления

Л. Л. Максимова, П. А. Шрайнер

РОССИЯ, 630090, г. Новосибирск, просп. Академика Коптюга, 4, Институт математики СО РАН

Аннотация: В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие эти алгоритмы.

УДК: 510.64

Поступила в редакцию: 03.11.2004