Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavid_Corfield
• CommentTimeMay 6th 2017

I was going to start game semantics to record a couple of references to dependent type theory, but I’m getting an error message at the moment. So I’ll just leave here for now:

Idea

In logic, game semantics is used to provide a semantic interpretation of logic constructions in terms of strategies for opposing players to win a game corresponding to some proposition.

References

• Wilfred Hodges, 2013, Logic and Games, (SEP)

For attempts to formulate a game semantics for dependent type theory, see

• CommentRowNumber2.
• CommentAuthorTim_Porter
• CommentTimeMay 6th 2017

David, it seems to be working now (for me).

• CommentRowNumber3.
• CommentAuthorTim_Porter
• CommentTimeMay 6th 2017

… or was the error message on trying to submit the form. Something about Javascript and cookies.

• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeMay 6th 2017

There is a nontrivial amount of game semantics literature in linear logic. One must not fail to mention Joyal’s short paper on games and compact closed categories, for example, with many refinements (I believe for example Hyland and Ong have looked at this for some variant of multiplicative linear logic).

At some point in the past I had a project on game semantics to solve a problem arising in coherence theory for symmetric monoidal closed categories, and Jim Dolan and I had worked out some game semantics for cartesian closed categories (his “holodeck games”).

• CommentRowNumber5.
• CommentAuthorDavid_Corfield
• CommentTimeMay 7th 2017

Re #3, yes it was about Javascript and cookies. All seems fine now.

Re #4, Todd, do you mean

• Remarques sur la théorie des jeux deux personnes?

I’m sure there’s plenty more to add.

• CommentRowNumber6.
• CommentAuthorTodd_Trimble
• CommentTimeMay 7th 2017

I’m pretty sure that’s the one, yes. My memory is that it was published in the Canadian Comptes Rendus.

• CommentRowNumber7.
• CommentAuthorDavid_Corfield
• CommentTimeMay 7th 2017

I added reference to a translation of it by Robin Houston.