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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логіки, орієнтовані на специфікації програм
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2006)

Чисті першопорядкові квазіaрні логіки з предикатами рівності
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2017)

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

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

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

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

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

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

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

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

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