RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 1990, том 31, номер 6, страницы 158–175 (Mi smj4647)

Эта публикация цитируется в 2 статьях

О свойствах суперинтуиционистских пропозициональных исчислений

В. И. Хомич


Аннотация: Для класса суперинтуиционистских пропозициональных исчислений, дополнительные аксиомы которых – импликативные формулы и одна из формул $(\urcorner\urcorner q\supset t)\supset(((\urcorner\urcorner q\supset q)\supset t)\supset t)$ и $(\urcorner q\supset t)\supset((\urcorner\urcorner q\supset t)\supset t)$, изучается их свойство, состоящее в том, что множество позитивных формул, выводимых в рассматриваемом исчислении, совпадает с множеством позитивных формул, выводимых в исчислении, получающемся из него путем удаления дополнительной аксиомы, содержащей отрицание. Доказывается наличие алгорифма, распознающего обладающие этим свойством исчисления среди исчислений рассматриваемого класса. По каждому такому исчислению строится равнообъемное с ним исчисление из этого же класса, обладающее данным свойством. Последний результат распространяется и на свойство исчислений быть отделимым.
Библиогр. 10.

УДК: 510.6

Статья поступила: 15.08.1988


 Англоязычная версия: Siberian Mathematical Journal, 1990, 31:6, 1013–1026

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


© МИАН, 2024