Композиційно-номітативні логіки часткових та неоднозначних предикатів
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні мод...
Gespeichert in:
| Veröffentlicht in: | Компьютерная математика |
|---|---|
| Datum: | 2014 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84814 |
| 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: | Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862726653755523072 |
|---|---|
| author | Шкільняк, С.С. |
| author_facet | Шкільняк, С.С. |
| citation_txt | Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| 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.
|
| first_indexed | 2025-12-07T18:58:31Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84814 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | ХХХХ-0003 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:58:31Z |
| publishDate | 2014 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Композиційно-номітативні логіки часткових та неоднозначних предикатів Шкільняк, С.С. Экспертные системы, методы индуктивного вывода |
| title | Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_alt | Композиционно-номинативные логики частичных и неоднозначных предикатов Composition-nominative logics of partial and multi-valued predicates |
| title_full | Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_fullStr | Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_full_unstemmed | Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_short | Композиційно-номітативні логіки часткових та неоднозначних предикатів |
| title_sort | композиційно-номітативні логіки часткових та неоднозначних предикатів |
| topic | Экспертные системы, методы индуктивного вывода |
| topic_facet | Экспертные системы, методы индуктивного вывода |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84814 |
| 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 |