Публікація: Дослідження логіки скінченних предикатів як композиційно-номінативної логіки
Завантаження...
Дата
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЭ
Анотація
В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.
Опис
Ключові слова
алгебра відношення лінійне логічне перетворення, лінійне логічне перетворення, логіка, модифікований добуток, морфізм, предикат, предметна область
Цитування
Вечірська, І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2014. – Вып. 2 (83). – С. 53–60.