|
Записки научных семинаров ПОМИ, 1995, том 220, страницы 72–82
(Mi znsl4281)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Уровневые логики
Н. К. Косовский С.-Петербургский государственный университет
Аннотация:
Статья посвящена описанию уровневых логик с логическими значениями в виде рациональных чисел. Все логические значения, большие нуля, являются истинными, логические значения, меньшие нуля, являются ложными, логическое значение, равное нулю, называется парадоксальным. Уровневая логика, использующая все рациональные числа из отрезка $[-1/2,1/2]$, имеет сходство с нечетной логикой Заде. Предлагается секвенциальное исчисление для таких логик. Правила вывода для логических связок и кванторов определяются как в традиционном исчислении предикатов с обратимыми правилами введения логических связок как в антецедент, так и в сукцедент секвенции. Отметим, что правила предикатного исчисления ранее не предлагались для уровневых логик, отличных от классической двузначной логики.
Теорема 6. Алгорифм установления выводимости в этом исчислении принадлежит классу EXP-LIN-TIME.
Библ. – 9 назв.
Поступило: 25.02.1994
Образец цитирования:
Н. К. Косовский, “Уровневые логики”, Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ПОМИ, СПб., 1995, 72–82; J. Math. Sci. (New York), 87:1 (1997), 3221–3227
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl4281 https://www.mathnet.ru/rus/znsl/v220/p72
|
Статистика просмотров: |
Страница аннотации: | 147 | PDF полного текста: | 63 |
|