|
Интеллектуальные системы. Теория и приложения, 2019, том 23, выпуск 1, страницы 57–80
(Mi ista216)
|
|
|
|
Часть 2. Специальные вопросы теории интеллектуальных систем
О конечных заданиях логических систем
Г. В. Боков
Аннотация:
В работе рассматривается задача конечного представления логических систем пропозициональными исчислениями. Исследуются три типа логических систем: линейные, монотонные и импликативные. Для каждого из этих типов логических систем доказаны достаточные условия их конечного задания. Кроме того, доказан критерий конечного задания произвольной логической системы множества классических тавтологий.
Ключевые слова:
логические системы, пропозициональные исчисления, конечное задание, правила вывода.
Образец цитирования:
Г. В. Боков, “О конечных заданиях логических систем”, Интеллектуальные системы. Теория и приложения, 23:1 (2019), 57–80
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista216 https://www.mathnet.ru/rus/ista/v23/i1/p57
|
|