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