Шукати за:
Роком видання
Автором
Назвою статті
Логічний наслідок та його формалізації в композиційно-номінативних логіках
Повний текст (PDF)
УДК: 004.42:510.69
Мова публікації: Українська
Stuc. intelekt. 2012; 17; (1):307-319
Анотація: Для композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних квазіарних предикатів запропоновано різні семантики та різні формалізації відношення логічного наслідку. Досліджено властивості таких формалізацій, визначено співвідношення між різними відношеннями логічного наслідку в різних семантиках.
Ключові слова: логіка, семантика, предикат, логічний наслідок
Посилання:
Переглянути повний текст статті (PDF)