Реномінативні логіки квазіарних предикатів
Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношен...
Gespeichert in:
| Veröffentlicht in: | Компьютерная математика |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/168398 |
| 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: | Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. . |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-168398 |
|---|---|
| record_format |
dspace |
| spelling |
Шкільняк, С.С. Волковицький, Д.Б. 2020-05-01T15:49:57Z 2020-05-01T15:49:57Z 2016 Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. . 2616-938Х https://nasplib.isofts.kiev.ua/handle/123456789/168398 004.42:510.69 Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношення логічного наслідку. На цій основі для реномінативних логік побудовано низку числень секвенційного типу Исследованы реноминативные логики квазиарных предикатов. Они занимают место между пропозициональной и первопорядковыми логиками. Выделены реноминативные логики базового уровня, с предикатами слабого равенства и с предикатами строгого равенства. Исследованы семантические свойства таких логик, описаны отношения логического следствия. На этой основе для реноминативных логик построен ряд исчислений секвенциального типа. We consider renominative logics of quasiary predicates. They occupy an intermediate position between propositional logic and first-order logics. We specify renominative logics of basic level, logics with predicates of weak equality, and logics with predicates of strong equality. Semantic properties of the introduced logics are investigated and logical consequence relations are described. On this basis, a number of sequent calculi for renominative logics are constructed. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Инструментальные средства информационных технологий Реномінативні логіки квазіарних предикатів Реноминативные логики квазиарных предикатов Renominative logics of quasiary 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 |
2016 |
| language |
Ukrainian |
| container_title |
Компьютерная математика |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Реноминативные логики квазиарных предикатов Renominative logics of quasiary predicates |
| description |
Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношення логічного наслідку. На цій основі для реномінативних логік побудовано низку числень секвенційного типу
Исследованы реноминативные логики квазиарных предикатов. Они занимают место между пропозициональной и первопорядковыми логиками. Выделены реноминативные логики базового уровня, с предикатами слабого равенства и с предикатами строгого равенства. Исследованы семантические свойства таких логик, описаны отношения логического следствия. На этой основе для реноминативных логик построен ряд исчислений секвенциального типа.
We consider renominative logics of quasiary predicates. They occupy an intermediate position between propositional logic and first-order logics. We specify renominative logics of basic level, logics with predicates of weak equality, and logics with predicates of strong equality. Semantic properties of the introduced logics are investigated and logical consequence relations are described. On this basis, a number of sequent calculi for renominative logics are constructed.
|
| issn |
2616-938Х |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/168398 |
| citation_txt |
Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. . |
| work_keys_str_mv |
AT škílʹnâkss renomínativnílogíkikvazíarnihpredikatív AT volkovicʹkiidb renomínativnílogíkikvazíarnihpredikatív AT škílʹnâkss renominativnyelogikikvaziarnyhpredikatov AT volkovicʹkiidb renominativnyelogikikvaziarnyhpredikatov AT škílʹnâkss renominativelogicsofquasiarypredicates AT volkovicʹkiidb renominativelogicsofquasiarypredicates |
| first_indexed |
2025-12-07T19:30:07Z |
| last_indexed |
2025-12-07T19:30:07Z |
| _version_ |
1850879044170547200 |