Buchumschlag

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

Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
Hauptverfasser:	Нікітченко, М.С., Шкільняк, С.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2003
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1293
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Об одной геометрической модели временных параллельных процессов
von: Ошевская, Е.С,
Veröffentlicht: (2004)

Теоретико-категорная характеризация развертки временных сетей Петри
von: Дубцов, Р.С.
Veröffentlicht: (2004)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
von: Грибовская, Н.С.
Veröffentlicht: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)

Что такое алгебраическая алгоритмика?
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2004)

Узагальнена композиційна модель символьної обробки
von: Винник, В.Ю.
Veröffentlicht: (2003)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)

Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
von: Антонцева, М.Ф.
Veröffentlicht: (2004)

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

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

Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)

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

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

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

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

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

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

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

Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)

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

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

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

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

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

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

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

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

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

Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)

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

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

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