Логічний наслідок та його формалізації в композиційно-номінативних логіках
Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічн...
Збережено в:
| Дата: | 2012 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/56760 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логічний наслідок та його формалізації в композиційно-номінативних логіках / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 307-319. — Бібліогр.: 7 назв. — укр. |