ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
For any alpha and beta from {0, 1, 2, 3,... omega}, we define logic I<alpha,beta> and build up a decidable sequent calculus to axiomatize this logic.