Video library: Nikolay Vereshchagin, On abstract resource semantics and computabilty logic

VIDEO LIBRARY


International workshop "Logical Models of Reasoning and Computation" February 2, 2012 12:45, Moscow, Steklov Mathematical Institute

On abstract resource semantics and computabilty logic Nikolay Vereshchagin Moscow Lomonosov State University
Abstract: 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. Language: English References 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