Repository | Buch | Kapitel
In the beginning was game semantics?
pp. 249-350
Abstrakt
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.
Publication details
Published in:
Majer Ondrej, Pietarinen Ahti-Veikko J., Tulenheimo Tero (2009) Games: unifying logic, language, and philosophy. Dordrecht, Springer.
Seiten: 249-350
DOI: 10.1007/978-1-4020-9374-6_11
Referenz:
Japaridze Giorgi (2009) „In the beginning was game semantics?“, In: O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, 249–350.