Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Date:	2003
Main Authors:	Нікітченко, М.С., Шкільняк, С.С.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2003
Subjects:	Теоретические и методологические основы программирования
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/1293
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2003. — N 2. — С. 28—41. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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