|
Математические заметки, 1987, том 42, выпуск 5, страницы 729–738
(Mi mzm5038)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О дизъюнктивном свойстве суперинтуиционистских
и модальных логик
М. В. Захарьящев
Аннотация:
Доказывается, что если непротиворечивая суперинтуиционистская
логика обладает дизъюнктивным свойством, то всякая выводимая
в ней формула, не содержащая вхождений дизъюнкции, выводима
также интуиционистски. Рассматривается некоторый класс расширенной
модальной системы $S4$, во многом подобных суперинтуиционистским
логикам, дополнительные аксиомы которых не содержат дизъюнкции,
доказывается финитная аппроксимируемость всех его логик и выясняется,
какие логики из этого класса обладают дизъюнктивным свойством,
а какие не обладают. Библиогр. 10 назв.
Поступило: 19.11.1985
Образец цитирования:
М. В. Захарьящев, “О дизъюнктивном свойстве суперинтуиционистских
и модальных логик”, Матем. заметки, 42:5 (1987), 729–738; Math. Notes, 42:5 (1987), 901–905
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm5038 https://www.mathnet.ru/rus/mzm/v42/i5/p729
|
Статистика просмотров: |
Страница аннотации: | 211 | PDF полного текста: | 72 | Первая страница: | 1 |
|