Зображення обкладинки

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

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...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2015
Автори:	Rossada, T.V., Shkilniak, О.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/51
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)

Композиційно-номінативні мультимодальні логіки
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2011)

Композиційно-номінативні логіки безкванторних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)

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

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

Композиційно-номінативні логіки над ієрархічними даними
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)

Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)

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

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

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

Математичне моделювання зміни пластового тиску непрямим методом граничних елементів
за авторством: Журавчак, Л.М., та інші
Опубліковано: (2011)

Ієрархія композиційно-номінативних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

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

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)

7-значнi логіки та логіки загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
за авторством: Кичак, В. М., та інші
Опубліковано: (2013)

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

Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

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

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

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

Підхід до позиційної алгебри логіки
за авторством: Kovalov, Mykola
Опубліковано: (2023)

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

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

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

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

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)

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

Місце логіки і риторики у діяльності софістів
за авторством: Колотілова, Н.А.
Опубліковано: (2009)

Моделі нечіткої логіки в системах керування ефективністю бізнесу
за авторством: Гордієнко, І.В., та інші
Опубліковано: (2008)

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

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

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

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

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

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

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

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