Композиційно-номітативні логіки часткових та неоднозначних предикатів
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні мод...
Збережено в:
| Дата: | 2014 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Назва видання: | Компьютерная математика |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84814 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84814 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-848142015-07-16T03:02:17Z Композиційно-номітативні логіки часткових та неоднозначних предикатів Шкільняк, С.С. Экспертные системы, методы индуктивного вывода Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, для різних класів цих логік запропоновано числення секвенційного типу. Исследованы чистые первопорядковые логики частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Рассмотрен ряд расширений этих логик с помощью обобщенных реноминаций и специальных предикатов-индикаторов наличия значения для переменных. Описаны языки и семантические модели таких логик, для разных классов этих логик предложены исчисления секвенциального типа. We study pure fisrt-order logics of partial single-valued, total multi-valued and partial multi-valued predicates. Various extensions of the introduced logics with generalized renominations and special variable definedness predicates are considered. For such logics, we define languages and semantic models, investigate their semantic properties and specify sequent calculi. 2014 Article Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84814 004.42:510.69 uk Компьютерная математика Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода |
| spellingShingle |
Экспертные системы, методы индуктивного вывода Экспертные системы, методы индуктивного вывода Шкільняк, С.С. Композиційно-номітативні логіки часткових та неоднозначних предикатів Компьютерная математика |
| description |
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, для різних класів цих логік запропоновано числення секвенційного типу. |
| format |
Article |
| author |
Шкільняк, С.С. |
| author_facet |
Шкільняк, С.С. |
| author_sort |
Шкільняк, С.С. |
| title |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_short |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_full |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_fullStr |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_full_unstemmed |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_sort |
композиційно-номітативні логіки часткових та неоднозначних предикатів |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2014 |
| topic_facet |
Экспертные системы, методы индуктивного вывода |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84814 |
| citation_txt |
Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
| series |
Компьютерная математика |
| work_keys_str_mv |
AT škílʹnâkss kompozicíjnonomítativnílogíkičastkovihtaneodnoznačnihpredikatív |
| first_indexed |
2023-10-18T19:29:44Z |
| last_indexed |
2023-10-18T19:29:44Z |
| _version_ |
1796147116519718912 |