Thesis

### Games as mathematics of logic and computation

Abstract:

Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism. However, logic and computation have been captured mainly syntactically, which may be criticized as conceptually unclear and mathematically cumbersome.

For this point, the field of semantics has been developed, i.e., its main aim is to explain logic and computation by mathematical ...

Files:
• (pdf, 1.6mb)

### Authors

More by this author
Department:
University of Minnesota

#### Contributors

Department:
University of Oxford
Role:
Supervisor
More from this funder
Funding agency for:
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Language:
English
Keywords:
Subjects: