АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И БАЗИСНАЯ ЛОГИКА

Определяется абсолютная арифметическая реализуемость предикатных формул. Доказывается, что интуиционистская логика не является корректной относительно этой семантики, тогда как базисная логика корректна.

Авторы

Коновалов А.Ю.

Тэги

конструктивная семантика реализуемость абсолютная реализуемость формальная арифметика арифметическая реализуемость базисная логика интуиционистская логика.

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

ОПРЕДЕЛЕНИЕ ТРАЕКТОРНЫХ ПАРАМЕТРОВ ДВИЖЕНИЯ МАЛОГО СПУТНИКА ПРИ ПОМОЩИ ПЕРВИЧНЫХ СПУТНИКОВЫХ ИЗМЕРЕНИЙ, СВЯЗЬ МЕЖДУ ПОЛНЫМИ МОДУЛЯМИ ГЛАДКОСТИ В МЕТРИКАХ Li и L∞, ...

Резюме по документу**

Доказывается, что интуиционистская логика не является корректной относительно этой семантики, тогда как базисная логика корректна.! <...>

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

АРИФМЕТИЧЕСКАЯ РЕАЛИЗУЕМОСТЬ И БАЗИСНАЯ ЛОГИКА

Помощь:

Участники: