Chapter

Games: Unifying Logic, Language, and Philosophy

Volume 15 of the series Logic, Epistemology, and the Unity of Science pp 249-350

In the Beginning was Game Semantics?

  • Giorgi JaparidzeAffiliated withDepartment of Computing Sciences, Villanova University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This chapter presents an overview of computability logic—the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic.