Buchumschlag

Композиційно-номінативні логіки з непрямим іменуванням

We construct sequent calculi for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multi-ple-valued quasi-ary predicates of quantifier level. The defined calculi are proposed for a general case of logics of quasi-ary predicates, for logics of singl...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Rossada, T.V., Shkilniak, О.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/51
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)

Композиційно-номінативні мультимодальні логіки
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)

Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Композиційно-номінативні модальні логіки функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2010)

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
von: Шкільняк, C.С.
Veröffentlicht: (2019)

Композиційно-номітативні логіки часткових та неоднозначних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2014)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
von: Shkilniak, S.S.
Veröffentlicht: (2015)

Математичне моделювання зміни пластового тиску непрямим методом граничних елементів
von: Журавчак, Л.М., et al.
Veröffentlicht: (2011)

Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
von: Шкільняк, О.С.
Veröffentlicht: (2011)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)

7-значнi логіки та логіки загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
von: Кичак, В. М., et al.
Veröffentlicht: (2013)

Номінативні одиниці в структурі складного речення: ідентифікація і характерізація
von: Нітенко, О.В.
Veröffentlicht: (2002)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Логічний наслідок та його формалізації в композиційно-номінативних логіках
von: Шкільняк, С.С.
Veröffentlicht: (2012)

Підхід до позиційної алгебри логіки
von: Kovalov, Mykola
Veröffentlicht: (2023)

Баркарольний принцип композиційно-жанрової організації «Берестечка» Ліни Костенко
von: Саєнко, В.
Veröffentlicht: (2021)

Моніторинг пацієнтів з використанням методів нечіткої логіки і машинного навчання
von: Хорозов, О.А.
Veröffentlicht: (2017)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)

Гуманізм та реформація: до логіки співвідношення
von: Черенков, М.М.
Veröffentlicht: (2005)

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
von: Щегельський, Т.С., et al.
Veröffentlicht: (2012)

Формування логіки внутрішньої міжрівневої взаємодії в багатоланковій системі
von: Бойко, Ю.В., et al.
Veröffentlicht: (2008)

Місце логіки і риторики у діяльності софістів
von: Колотілова, Н.А.
Veröffentlicht: (2009)

Моделі нечіткої логіки в системах керування ефективністю бізнесу
von: Гордієнко, І.В., et al.
Veröffentlicht: (2008)

Композиційно-комунікативний інваріант політичної онлайн-статті (на матеріалі статей журналу Spiegel-Online)
von: Овчаренко, О.М.
Veröffentlicht: (2011)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Оперативне оцінювання простору станів складних розподілених об’єктів з використанням нечіткої інтервальної логіки
von: Кучеренко, Є.І., et al.
Veröffentlicht: (2011)

Аналіз можливостей нечіткої логіки для формального опису технологічного процесу
von: Козик, О.М.
Veröffentlicht: (2009)

Застосування модальної логіки при прийнятті рішень на моделях знань
von: Коваленко, О.Є.
Veröffentlicht: (2012)

Виявлення контурів у цифрових зображеннях із використанням нечіткої логіки
von: Мороз, О.І.
Veröffentlicht: (2016)

Регіональна промислова політика: елементи теорії, логіки та понятійного апарату
von: Кудріна, О.Ю.
Veröffentlicht: (2014)

Оцінка кредитних банківських ризиків із використанням нечіткої логіки
von: Zaychenko, Yu. Р.
Veröffentlicht: (2010)