510.6 Ч-49 Чернов, А. В. Финитные задачи и логика слабого закона исключенного третьего [] / А. В. Чернов // Математические заметки. - 2005. - Т. 77, N 2. - С. 291-302. - Библиогр.: с. 302 (11 назв. ) . - ISSN 0025-567Х
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): финитные задачи; пропозициональная формула; мощность достаточного множества решений; ДМР; логика слабого закона исключенного третьего Аннотация: Определяется новая характеристика пропозициональной формулы как операции над финитными задачами - мощность достаточного множества решений (ДМР) . Доказывается, что если формула выводима в логике слабого закона исключенного третьего, то мощность ДМР ограничена константой, зависящей только от числа переменных; в противном случае достижимая мощность ДМР близка (больше корня некоторой степени) к тривиальной верхней оценке на нее. |