Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку

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