РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
-
К расчёту тепло- и влаговыделений при проектировании вентиляции в конвейерных галереях для транспортировки влажных нагретых материалов
-
Аудит и оценка организации бухгалтерского учета
-
ОЦЕНКА ВНЕСОСУДИСТОЙ ВОДЫ ЛЕГКИХ С ПОМОЩЬЮ КОЛИЧЕСТВЕННОГО АНАЛИЗА КОМПЬЮТЕРНОГО ИЗОБРАЖЕНИЯ У БОЛЬНЫХ С ОСТРЫМ РЕСПИРАТОРНЫМ ДИСТРЕСС-СИНДРОМОМ
-
ИНИЦИАТИВА У АКТИВНЫХ
-
АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И БАЗИСНАЯ ЛОГИКА
АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И БАЗИСНАЯ ЛОГИКА
Определяется абсолютная арифметическая реализуемость предикатных формул. Доказывается, что интуиционистская логика не является корректной относительно этой семантики, тогда как базисная логика корректна.
Авторы
Тэги
конструктивная семантика
реализуемость
абсолютная реализуемость
формальная арифметика
арифметическая реализуемость
базисная логика
интуиционистская логика.
Тематические рубрики
Предметные рубрики
В этом же номере:
ОБ ОДНОЙ РАЗНОСТНОЙ СХЕМЕ ДЛЯ МОДЕЛИРОВАНИЯ КИЛЬВАТЕРНЫХ ВОЛН В ПЛАЗМЕ,
О СОБСТВЕННЫХ ЧАСТОТАХ ПРОДОЛЬНЫХ КОЛЕБАНИЙ НЕОДНОРОДНОГО СТЕРЖНЯ С ПЕРЕМЕННЫМ ПОПЕРЕЧНЫМ СЕЧЕНИЕМ,
...
Резюме по документу**
Доказывается, что интуиционистская логика не является корректной относительно этой семантики, тогда как базисная логика корректна.! <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: