Композиційно-номітативні логіки часткових та неоднозначних предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Композиційно-номітативні логіки часткових та неоднозначних предикатів
|
|
| Creator |
Шкільняк, С.С.
|
|
| Subject |
Экспертные системы, методы индуктивного вывода
|
|
| Description |
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, для різних класів цих логік запропоновано числення секвенційного типу.
Исследованы чистые первопорядковые логики частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Рассмотрен ряд расширений этих логик с помощью обобщенных реноминаций и специальных предикатов-индикаторов наличия значения для переменных. Описаны языки и семантические модели таких логик, для разных классов этих логик предложены исчисления секвенциального типа. 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. |
|
| Date |
2015-07-15T19:56:09Z
2015-07-15T19:56:09Z 2014 |
|
| Type |
Article
|
|
| Identifier |
Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр.
ХХХХ-0003 http://dspace.nbuv.gov.ua/handle/123456789/84814 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Компьютерная математика
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|