A Constructive Game Semantics for the Language of Linear Logic Export

@article{citeulike:466112, abstract = {I present a semantics for the language of first order additive-multiplicative linear logic, i.e. the language of classical first order logic with two sorts of disjunction and conjunction. The semantics allows us to capture intuitions often associated with linear logic or constructivism such as sentences =games, sentences=resources or sentences=problems, where \"truth\" means existence of an effective winning (resource-using, problem-solving) strategy. The paper introduces a decidable first order...}, author = {Japaridze, Giorgi}, citeulike-article-id = {466112}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.2043}, journal = {Annals of Pure and Applied Logic}, keywords = {linear, logic}, number = {2}, pages = {87--156}, posted-at = {2006-01-16 16:03:56}, priority = {3}, title = {A Constructive Game Semantics for the Language of Linear Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.2043}, volume = {85}, year = {1997} }

TY - JOUR ID - citeulike:466112 L3 - citeulike-article-id:466112 N2 - I present a semantics for the language of first order additive-multiplicative linear logic, i.e. the language of classical first order logic with two sorts of disjunction and conjunction. The semantics allows us to capture intuitions often associated with linear logic or constructivism such as sentences =games, sentences=resources or sentences=problems, where "truth" means existence of an effective winning (resource-using, problem-solving) strategy. The paper introduces a decidable first order... IS - 2 JF - Annals of Pure and Applied Logic EP - 156 TI - A Constructive Game Semantics for the Language of Linear Logic VL - 85 SP - 87 KW - linear KW - logic AU - Japaridze, Giorgi PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.2043 ER -