Шкільняк, О.С.; Касьянюк, В.С.; Малютенко, Л.М.
(Штучний інтелект, 2016)
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови ...