Композиційно-номітативні логіки часткових та неоднозначних предикатів
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні мод...
Saved in:
| Published in: | Компьютерная математика |
|---|---|
| Date: | 2014 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84814 |
| 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: | Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84814 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, С.С. 2015-07-15T19:56:09Z 2015-07-15T19:56:09Z 2014 Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. ХХХХ-0003 https://nasplib.isofts.kiev.ua/handle/123456789/84814 004.42:510.69 Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні моделі таких логік, досліджено їх семантичні властивості, для різних класів цих логік запропоновано числення секвенційного типу. Исследованы чистые первопорядковые логики частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Рассмотрен ряд расширений этих логик с помощью обобщенных реноминаций и специальных предикатов-индикаторов наличия значения для переменных. Описаны языки и семантические модели таких логик, для разных классов этих логик предложены исчисления секвенциального типа. 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. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Экспертные системы, методы индуктивного вывода Композиційно-номітативні логіки часткових та неоднозначних предикатів Композиционно-номинативные логики частичных и неоднозначных предикатов Composition-nominative logics of partial and multi-valued predicates Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| spellingShingle |
Композиційно-номітативні логіки часткових та неоднозначних предикатів Шкільняк, С.С. Экспертные системы, методы индуктивного вывода |
| title_short |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_full |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_fullStr |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_full_unstemmed |
Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_sort |
композиційно-номітативні логіки часткових та неоднозначних предикатів |
| author |
Шкільняк, С.С. |
| author_facet |
Шкільняк, С.С. |
| topic |
Экспертные системы, методы индуктивного вывода |
| topic_facet |
Экспертные системы, методы индуктивного вывода |
| publishDate |
2014 |
| language |
Ukrainian |
| container_title |
Компьютерная математика |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Композиционно-номинативные логики частичных и неоднозначных предикатов Composition-nominative logics of partial and multi-valued predicates |
| 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.
|
| issn |
ХХХХ-0003 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84814 |
| citation_txt |
Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
| work_keys_str_mv |
AT škílʹnâkss kompozicíinonomítativnílogíkičastkovihtaneodnoznačnihpredikatív AT škílʹnâkss kompozicionnonominativnyelogikičastičnyhineodnoznačnyhpredikatov AT škílʹnâkss compositionnominativelogicsofpartialandmultivaluedpredicates |
| first_indexed |
2025-12-07T18:58:31Z |
| last_indexed |
2025-12-07T18:58:31Z |
| _version_ |
1850877056278069248 |