| • Science | • People | • Locations | • Timeline |
The primary motivation for Lorenzen and his student Kuno Lorenz was to find a game-semantical, or dialogue-semantical (as they preferred to call it) justification for intuitionistic logic. Blass was the first to point out connections between game semantics and linear logic. This line was further developed by Samson Abramsky, Radhakrishnan Jagadeesan , Martin Hyland , Luke Ong and others. Japaridze started treating games as foundational entities in their own right, elaborating a concept of games that formalizes the intuitive notion of interactive computational problems, and basing his computability logic on such games.