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

Часть 3. Математические модели

Об одной системе Фреге

Г. В. Боков


Аннотация: В работе рассматривается система Фреге в сигнатуре $\{\wedge, \vee, \lnot\}$. Для данной системы доказывается нетривиальная нижняя оценка длины минимального вывода.

Ключевые слова: Системы Фреге, длина вывода, нижние оценки.