Сиб. матем. журн.,
1988, том 29, номер 1, страницы 171–178
(Mi smj7398)
|
Эта публикация цитируется в
8 статьях
Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
Е. З. Скворцова г. Москва
Аннотация:
Доказывается, что существует начальный сегмент решетки Медведева, дающий точную интерпретацию интуиционистского исчисления высказываний.
Библиогр. 9.
УДК:
517.11
Статья поступила: 17.12.1985
© , 2024
Полный текст:
PDF файл (1275 kB)
