Нікітченко М. С. Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних / М. С. Нікітченко, С. С. Шкільняк // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2013. - Спец. вип. - С. 128-133. - Бібліогр.: 5 назв. - укp.Досліджено чисті першопорядкові композиційно-номінативні логіки, розширені спеціальними предикатами-індикаторами наявності значення для змінних. Розглянуто семантичні властивості таких логік, пов'язані з цими предикатами. Для різних відношень логічного наслідку в таких логіках часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів побудовано числення секвенційного типу, доведено коректність і повноту цих числень. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж28079/фіз.-мат. Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|