|
Алгебра и логика, 2001, том 40, номер 2, страницы 218–242
(Mi al218)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Д. Е. Тишковский Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Находятся алгебраические эквиваленты для свойства Бета, проективного свойства Бета, интерполяционного свойства, дизъюнктивного свойства и экзистенциального свойства суперинтуиционистских логик 1-го порядка.
Ключевые слова:
суперинтуиционистская предикатная логика, свойство Бета, проективное свойство Бета, интерполяционное свойство, дизъюнктивное свойство, экзистенциальное свойство.
Поступило: 22.07.1999
Образец цитирования:
Д. Е. Тишковский, “Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик”, Алгебра и логика, 40:2 (2001), 218–242; Algebra and Logic, 40:2 (2001), 122–134
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al218 https://www.mathnet.ru/rus/al/v40/i2/p218
|
Статистика просмотров: |
Страница аннотации: | 236 | PDF полного текста: | 155 | Первая страница: | 1 |
|