Щеглов В.Н. — Теория смыслов Налимова как одна из интерпретаций алгебраических моделей интуиционистской логики
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Теория смыслов Налимова как одна из интерпретаций алгебраических моделей интуиционистской логики
Автор: Щеглов В.Н.
Аннотация:
Впервые основы построения алгебраических моделей конструктивной (интуиционистской) логики (АМКЛ) в булевой форме были сформулированы автором данной статьи примерно в 1968 году, первая статья по этому вопросу была опубликована в 1970 г.
|
|
О проекте