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

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів

Збережено в:

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

Репозитарії

Problems in programming

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
за авторством: Доценко, В.А.
Опубліковано: (2008)

Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Rossada, T.V., та інші
Опубліковано: (2015)

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

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

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

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

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

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

Використання дескриптивних логік в проблематиці WEB-сервісів
за авторством: Захарова, О.В.
Опубліковано: (2015)

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

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

Конструктивний алгоритм зворотного методу для числення висловлювань
за авторством: Доценко, В.А.
Опубліковано: (2007)

Конструктивний алгоритм зворотного методу для числення висловлювань
за авторством: Dotsenko, V. A.
Опубліковано: (2018)

Операторне числення Вейля в узагальнених алгебрах Пелі–Вінера
за авторством: Lozynska, V. Ya.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Опубліковано: (2024)

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

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

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

Стиснення двійкових послідовностей на основі системи числення Штерна-Броко
за авторством: Глинчук, Л.Я.
Опубліковано: (2010)

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

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

Вплив контексту на актуалізацію семного складу прикметників-предикатів
за авторством: Кардащук, О., та інші
Опубліковано: (2002)

МЕТОД ТА АЛГОРИТМ МНОЖЕННЯ У ДВОВИМІРНІЙ СИСТЕМІ ЧИСЛЕННЯ МАТРИЧНОГО РАДЕМАХЕРА
за авторством: Круцкевич, О. Д., та інші
Опубліковано: (2021)

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

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