RUS  ENG
Полная версия
ЖУРНАЛЫ // Автоматика и телемеханика // Архив
Автомат. и телемех., 1988, выпуск 5, страницы 132–142 (Mi at6684)
Автоматы

Исчисления, допускающие проверку выводимости с помощью конечных интерпретаций

А. В. Бабичев

Москва

Аннотация: Как частные случаи исчисления первого порядка вводятся исчисления, допускающие проверку логической выводимости с помощью моделей на конечных множествах.

УДК: 519.682


Поступила в редакцию: 27.11.1986


 Англоязычная версия: Automation and Remote Control, 1988, 49:5, 655–662

Реферативные базы данных:

© МИАН, 2024