|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
On abstract resource semantics and computabilty logicдоклад на конференции
- Автор: Vereshchagin Nikolay
- Международная Конференция (Семинар (workshop)) : Logical Models of Reasoning and Computation (LRMC 2012)
- Даты проведения конференции: 1-3 февраля 2012
- Тип доклада: Устный
- Докладчик: Vereshchagin Nikolay
- Место проведения: Математический институт им. В.А.Стеклова РАН, Russia
-
Аннотация доклада:
We show that the uniform validity is equivalent to the non-uniform validity for Blass' semantics of [1]. We present a shorter proof (than that of [2]) of the completeness of the positive fragment of intuitionistic logic for this semantics, computability logic semantics, and the abstract resource semantics. 1. A. Blass, “A game semantics for linear logic”, Ann. Pure Appl. Logic, 56:1-3 (1992), 183–220. 2. G. Japaridze “The intuitionistic fragment of computability logic at the propositional level”, Ann. Pure Appl. Logic, 147:3 (2007), 187–227.
- Добавил в систему: Верещагин Николай Константинович