RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив
Сиб. электрон. матем. изв., 2006, том 3, страницы 312–334 (Mi semr207)
Эта публикация цитируется в 3 статьях

Статьи

О канонических формулах для расширений минимальной логики

М. В. Стукачева

Институт математики им. С. Л. Соболева СО РАН

Аннотация: We introduce a canonical formulas for the extensions of minimal logic.

УДК: 510.64

MSC: 03B53

Поступила 25 июня 2006 г., опубликована 25 августа 2006 г.



Реферативные базы данных:

© МИАН, 2024