My Account
Anything that relates to games in logic, or logic in games.
More information

Subcategories 1

Wikipedia article.
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Paper by Andreas Blass.
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Paper by Andreas Blass.
Wikipedia article.
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Last update:
October 5, 2022 at 6:42:11 UTC
Science
Shopping
Society
Sports
All Languages