RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив
Изв. АН СССР. Сер. матем., 1969, том 33, выпуск 1, страницы 18–38 (Mi im2024)
Эта публикация цитируется в 16 статьях

Конъюктивно неразложимые формулы в пропозициональных исчислениях

В. А. Янков


Аннотация: Статья рассматривает такие формулы в интуиционистском исчислении высказываний и его подсистемах, которые нельзя разложить в конъюнкцию неэквивалентных им формул.

УДК: 51.01

MSC: 03E25, 03B20, 06D10, 06A12, 03G05

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


 Англоязычная версия: Mathematics of the USSR-Izvestiya, 1969, 3:1, 17–35

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

© МИАН, 2024