Game Semantics or Linear Logic?
Edit Page
Report
Scan day: 02 February 2014 UTC
27
Virus safety - good
Description: A discussion of how linear logic relates to computability logic, - the game-semantically introduced logic of computational resources and interactive computation.
Game Semantics or Linear Logic? * This material is based upon work supported by the National Science Foundation under Grant No. 0208816. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.
Size: 323 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Game Semantics or Linear Logic? |
| Keywords: | game semantics, linear logic, interactive computation, constructive logic |
| Description: | The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic. Computational problems/tasks/resources are understood as games played by a machine against the environment. |
| IP-address: | 153.104.202.74 |
WHOIS Info
| NS | Name Servers: NS1.VILLANOVA.EDU 153.104.1.2 NS2.VILLANOVA.EDU 153.104.136.2 |
| WHOIS | |
| Date | activated: 19-Mar-1998 last updated: 23-Jun-2009 expires: 31-Jul-2014 |