Изв. АН СССР. Сер. матем.,
1968, том 32, выпуск 5, страницы 1044–1051
(Mi im2504)
|
Эта публикация цитируется в
26 статьях
Об исчислении слабого закона исключенного третьего
В. А. Янков
Аннотация:
Рассматривается суперинтуиционистское пропозициональное исчисление
с дополнительной аксиомой.
УДК:
51.01.16
MSC: 03F55,
03E65,
03E25,
03G05,
03F40 Поступило в редакцию: 04.07.1967
© , 2024
Полный текст:
PDF файл (867 kB)