Публікація:
Дослідження логіки скінченних предикатів як композиційно-номінативної логіки

Завантаження...
Зображення мініатюри

Дата

2014

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

В статті досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.

Опис

Ключові слова

алгебра відношення лінійне логічне перетворення, лінійне логічне перетворення, логіка, модифікований добуток, морфізм, предикат, предметна область

Бібліографічний опис

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

DOI