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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Моделювання процесу розпізнавання дерматологічних захворювань на зображенні засобами нечіткої логіки
за авторством: Сілагін, О.В., та інші
Опубліковано: (2026)

ЗАСТОСУВАННЯ МОДАЛЬНОЇ ЛОГІКИ ПРИ ПРИЙНЯТТІ РІШЕНЬ НА МОДЕЛЯХ ЗНАНЬ
за авторством: Коваленко, Олексій Єпіфанович
Опубліковано: (2012)

Моделювання впливу інвестиційної активності підприємств на рівень стійкого розвитку регіону з використанням апарату нечіткої логіки
за авторством: Korytko, Tetyana Yuriyivna, та інші
Опубліковано: (2021)

Методи формального опису систем управління повноваженнями на основі використання математичної логіки
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)

РОЗРОБКА МЕХАНІЗМУ РЕГУЛЮВАННЯ ДИСПРОПОРЦІЙ СОЦІАЛЬНО-ЕКОНОМІЧНОГО РОЗВИТКУ РЕГІОНІВ МЕТОДАМИ НЕЧІТКОЇ ЛОГІКИ
за авторством: Shevchenko , Olga
Опубліковано: (2021)

Галузевий підхід до оцінки ризику банкрутства підприємств із використанням апарату нечіткої логіки
за авторством: Калічава, Т.Б., та інші
Опубліковано: (2011)

Проблема єдності «коду» знарядь праці та логіки мислення у сучасному технічному прогресі
за авторством: Шкепу, М.А.
Опубліковано: (2007)

Метод визначення потоків рекреантів за допомогою модифікованої ґравітаційної моделі на базі нечіткої логіки
за авторством: Liakhov, S. A., та інші
Опубліковано: (2010)

Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами
за авторством: Балабанов, О.С.
Опубліковано: (2020)

З. Герберт очима українців: переклади та інтерпретації
за авторством: Нахлік, О.С.
Опубліковано: (2010)

Зарубіжний досвід роботи з науковою молоддю на прикладі молодіжних академій
за авторством: Вашуленко, О.С.
Опубліковано: (2018)

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

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

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

Методичний підхід до оцінки державних вугледобувних підприємств з точки зору доцільності їх експлуатації
за авторством: Сердюк, О.С.
Опубліковано: (2014)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Аспекти сучасного розвитку досліджень процесів з використанням пульсуючого електричного струму для активації спікання (Огляд)
за авторством: Петухов, О.С.
Опубліковано: (2014)

Аналіз розподілу електоральних полів з використанням мережевих структур
за авторством: Терпіль, Є.О., та інші
Опубліковано: (2016)

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

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

Намисто вельбарської культури з Хрінників
за авторством: Горбаненко, С.А., та інші
Опубліковано: (2018)