Реномінативні логіки квазіарних предикатів
Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношен...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Назва видання: | Компьютерная математика |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/168398 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. . |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-168398 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1683982020-05-02T01:28:12Z Реномінативні логіки квазіарних предикатів Шкільняк, С.С. Волковицький, Д.Б. Инструментальные средства информационных технологий Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношення логічного наслідку. На цій основі для реномінативних логік побудовано низку числень секвенційного типу Исследованы реноминативные логики квазиарных предикатов. Они занимают место между пропозициональной и первопорядковыми логиками. Выделены реноминативные логики базового уровня, с предикатами слабого равенства и с предикатами строгого равенства. Исследованы семантические свойства таких логик, описаны отношения логического следствия. На этой основе для реноминативных логик построен ряд исчислений секвенциального типа. 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. 2016 Article Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. . 2616-938Х http://dspace.nbuv.gov.ua/handle/123456789/168398 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 |
2016 |
| topic_facet |
Инструментальные средства информационных технологий |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/168398 |
| citation_txt |
Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр.
. |
| series |
Компьютерная математика |
| work_keys_str_mv |
AT škílʹnâkss renomínativnílogíkikvazíarnihpredikatív AT volkovicʹkijdb renomínativnílogíkikvazíarnihpredikatív |
| first_indexed |
2023-10-18T22:22:48Z |
| last_indexed |
2023-10-18T22:22:48Z |
| _version_ |
1796155363591979008 |