Композиційно-номітативні логіки часткових та неоднозначних предикатів
Досліджено чисті першопорядкові логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Розглянуто низку розширень цих логік за допомогою узагальнених реномінацій та спеціальних предикатів-індикаторів наявності значення для змінних. Описано мови та семантичні мод...
Saved in:
| Date: | 2014 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2014
|
| Series: | Компьютерная математика |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Композиційно-номітативні логіки часткових та неоднозначних предикатів / С.С. Шкільняк // Компьютерная математика. — 2014. — № 1. — С. 93-102. — Бібліогр.: 11 назв. — укр. |