Вечірська, І. Д.Гончаров, І. Е.Шепілов, С. І.2016-06-082016-06-082014Вечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.http://openarchive.nure.ua/handle/document/595В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.ukалгебра відношення лінійне логічне перетвореннялінійне логічне перетвореннялогікамодифікований добутокморфізмпредикатпредметна областьArticle