Эта публикация цитируется в
1 статье
Бесконечнозначная логика Лукасевича первого порядка: гиперсеквенциальные исчисления без структурных правил и поиск вывода предварённых предложений
А. С. Герасимов
Аннотация:
Для рациональной логики Павелки первого порядка (которая расширяет
бесконечнозначную логику Лукасевича первого порядка Ł
$\forall$
истинностными константами)
предлагаются кумулятивное и некумулятивное гиперсеквенциальные исчисления
без структурных правил вывода: G
$^1$Ł
$\forall$
и G
$^2$Ł
$\forall$ соответственно.
Эти исчисления сравниваются с (имеющим структурные правила)
гиперсеквенциальным исчислением GŁ
$\forall$ Бааза и Меткалфа:
любое GŁ
$\forall$-выводимое предложение
G
$^1$Ł
$\forall$-выводимо;
любое предварённое Ł
$\forall$-предложение
GŁ
$\forall$-выводимо тогда и только тогда, когда оно
G
$^2$Ł
$\forall$-выводимо.
Для табличного варианта исчисления
G
$^2$Ł
$\forall$ описывается семейство
алгоритмов поиска вывода, которые строят
некоторый вывод любого предварённого
G
$^2$Ł
$\forall$-выводимого предложения.
Ключевые слова и фразы:
нечеткая логика, бесконечнозначная логика Лукасевича первого порядка, рациональная логика Павелки первого порядка, гиперсеквенциальное исчисление, алгоритм поиска вывода.
УДК:
510.644+
510.662 Статья поступила: 21.03.2016
DOI:
10.17377/mattrudy.2017.20.201