Шкільняк, Оксана2015-02-122015-02-122009Шкільняк О. С. Секвенційні числення композиційно-номінативних модальних і темпоральних логік / Шкільняк О.С. // Наукові записки НаУКМА. - 2009. - Т. 99 : Комп'ютерні науки. - С. 37-44.https://ekmair.ukma.edu.ua/handle/123456789/3908На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем досліджено композиційно-номінативні модальні та темпоральні логіки номінативних рівнів. Для зазначених логік збудовано числення секвенційного типу. Для таких числень доведено теореми коректності та повноти.ukArticle