Нікітченко М. С. Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення / М. С. Нікітченко, С. С. Шкільняк // Пробл. программирования. - 2003. - № 2. - С. 28-41. - Бібліогр.: 12 назв. - укp.Запропоновано композиційно-номінативні логіки локально-еквітонних предикатів. Зазначено, що такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчено семантичні властивості цих логік, відношення логічного наслідку для множин формул, побудовано відповідні секвенційні числення, на їх базі доведено теореми коректності та повноти. Індекс рубрикатора НБУВ: З973-047.20
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|