С. А. Дробышевич, “Гибридное исчисление для логики $N^*$, её конечная аппроксимируемость и разрешимость”, Алгебра и логика, 2011, том 50, номер 3,страницы 351

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

Гибридное исчисление для логики $N^*$, её конечная аппроксимируемость и разрешимость

С. А. Дробышевич

Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Доказывается конечная аппроксимируемость и разрешимость логики $N^*$. Строится гибридное исчисление для логики, основанное на табличном исчислении для интуиционистской логики, доказывается его корректность и полнота.

Ключевые слова: модальная логика, интуиционистская логика, табличное исчисление, гибридное исчисление.

УДК: 510.643

Поступило: 18.05.2010
Окончательный вариант: 23.03.2011