Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
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
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
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.