Publication: Кванторная алгебра предикатных операций
Loading...
Date
2008
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
ХНУРЭ
Abstract
В статье представлена кванторная алгебра предикатных операций. Доказана теорема о равносильности фундаментальной и кванторной алгебр предикатных операций. Сформулирована теорема о полноте кванторной алгебры предикатных операций. Приведены система основных тождеств и аксиоматическое построение кванторной алгебры.
Description
Keywords
кванторная алгебра, алгебра предикатных операций, прикладная алгебра, линейный логический оператор
Citation
Процай, Н. Т. Кванторная алгебра предикатных операций / Н. Т. Процай // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1 (68). – С. 69-73.