Видеотека: Nikolay Vereshchagin, On abstract resource semantics and computabilty logic

ВИДЕОТЕКА


Международная конференция «Logical Models of Reasoning and Computation» 2 февраля 2012 г. 12:45, г. Москва, МИАН

On abstract resource semantics and computabilty logic Nikolay Vereshchagin Moscow Lomonosov State University
Аннотация: 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. Язык доклада: английский Список литературы A. Blass, “A game semantics for linear logic”, Ann. Pure Appl. Logic, 56:1-3 (1992), 183–220 by G. Japaridze “The intuitionistic fragment of computability logic at the propositional level”, Ann. Pure Appl. Logic, 147:3 (2007), 187–227