Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властиво...
Збережено в:
| Видавець: | Інститут програмних систем НАН України |
|---|---|
| Дата: | 2011 |
| Автор: | |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2011
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/50997 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Цитувати: | Спеціальні відношення логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2011. — № 4. — С. 36-48. — Бібліогр.: 5 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Для першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів запропоновано і досліджено Х–Y-означені
відношення логічного наслідку. Отримано низку властивостей цих відношень у різних семантиках, зокрема, властивості елімінації кванторів. Такі властивості ляжуть в основу побудови відповідних числень
секвенційного типу. |
|---|