Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку
Loading...
Date
2009
Authors
Афонін, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Стаття присвячена розробці підходу до побудови машинно-орієнтованих числень секвенціального
типу, які не потребують проведення попередньої сколемізації. Особливості цього підходу продемонстровано за допомогою побудови спеціального числення такого типу, яке досліджується на
коректність і повноту.
Description
Keywords
Citation
Афонін А. О. Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку / Афонін А.О. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 23-28.