|
Математические заметки, 1977, том 22, выпуск 1, страницы 23–28
(Mi mzm8021)
|
|
|
|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
О новых операциях в интуиционистском исчислении
А. В. Бессонов Институт истории, филологии и философии СО АН СССР
Аннотация:
Изучается вопрос о возможности расширения интуиционистского исчисления высказываний путем присоединения однозначных одноместных операций, не выразимых через конъюнкцию, дизъюнкцию, импликацию и отрицание. Построена система корректных исчислений с новыми однозначными операциями, изоморфная семейству собственных расширений интуиционистского исчисления высказываний. Библ. 6 назв.
Поступило: 17.02.1975
Образец цитирования:
А. В. Бессонов, “О новых операциях в интуиционистском исчислении”, Матем. заметки, 22:1 (1977), 23–28; Math. Notes, 22:1 (1977), 503–506
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm8021 https://www.mathnet.ru/rus/mzm/v22/i1/p23
|
Статистика просмотров: |
Страница аннотации: | 205 | PDF полного текста: | 85 | Первая страница: | 1 |
|