Паранормальная подлогика интуиционистской логики.
Article Sidebar
Опубликован:
30.11.2005
Main Article Content
Аннотация
Строится исчисление $\mathbf{HIAP}$ гильбертовского типа и определяется паранормальная логика $\mathbf{IAP}$, являющаяся подлогикой интуиционистской пропозициональной логики $\mathbf{IntP}$. Предлагается секвенциальное исчисление $\mathbf{GIAP}$, аксиоматизирующее логику $\mathbf{IAP}$. Конструируется семантика крипкевского типа, адекватная логике $\mathbf{IAP}$, и определяются отображения, погружающие $\mathbf{IntP}$ в $\mathbf{IAP}$.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Баташев Д., Попов В. Паранормальная подлогика интуиционистской логики. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 62-66.
Выпуск
Раздел
Статьи
Литература
Баташев Д.В., Попов В.М Об одной девятизначной паранормальной логике// Логические исследования. 2005, Вып.12. С. 54-61.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1957 С. 9 - 74.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1957 С. 9 - 74.
Смирнов В.А. Формальный вывод и логические исчисления. М., 1972.
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.