|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Секвенциальная аксиоматизация логики I<alpha,beta>доклад на конференции
- Автор: Попов В.М.
- Международная Конференция : Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года
- Даты проведения конференции: 19-21 июня 2013
- Тип доклада: не указан
- Докладчик: Попов В.М.
- Место проведения: г.Москва, МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
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.
- Добавил в систему: Попов Владимир Михайлович