RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив
Изв. АН СССР. Сер. матем., 1968, том 32, выпуск 1, страницы 208–211 (Mi im2698)
Эта публикация цитируется в 6 статьях

О расширении интуиционистского пропозиционального исчисления до классического и минимального до интуиционистского

В. А. Янков


Аннотация: Рассматриваются расширения интуиционистского и минимального исчислений высказываний добавлением единственной формулы в качестве новой аксиомы.

УДК: 517.11

MSC: 03F55, 03E25

Поступило в редакцию: 31.05.1967


 Англоязычная версия: Mathematics of the USSR-Izvestiya, 1968, 2:1, 205–208

Реферативные базы данных:

© МИАН, 2024