Polarized games

Annals of Pure and Applied Logic 130 (1-3):79-123 (2004)

Abstract
We generalize the intuitionistic Hyland–Ong games to a notion of polarized games allowing games with plays starting by proponent moves. The usual constructions on games are adjusted to fit this setting yielding game models for both Intuitionistic Linear Logic and Polarized Linear Logic. We prove a definability result for this polarized model and this gives complete game models for various classical systems: , λμ-calculus, … for both call-by-name and call-by-value evaluations
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2004.04.006
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,483
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Game Semantics for Linear Logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.

Add more references

Citations of this work BETA

Imperative Programs as Proofs Via Game Semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
Resource Modalities in Tensor Logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
Totality in Arena Games.Pierre Clairambault & Russ Harmer - 2010 - Annals of Pure and Applied Logic 161 (5):673-689.

Add more citations

Similar books and articles

A Polarized Partition Relation Using Elementary Substructures.Albin L. Jones - 2000 - Journal of Symbolic Logic 65 (4):1491-1498.
Are Video Games Art?Aaron Smuts - 2005 - Contemporary Aesthetics 3.
Generalized Externality Games.Paula Corcho & José Luis Ferreira - 2003 - Theory and Decision 54 (2):163-184.
Formal Games and Forms for Games.Neil Tennant - 1980 - Linguistics and Philosophy 4 (2):311 - 320.
Games and Family Resemblances.Jim Stone - 1994 - Philosophical Investigations 17 (No. 2): 435-443.
A Strong Polarized Relation.Shimon Garti & Saharon Shelah - 2012 - Journal of Symbolic Logic 77 (3):766-776.
Ladder Gaps Over Stationary Sets.Uri Abraham & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (2):518 - 532.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.

Analytics

Added to PP index
2014-01-16

Total views
16 ( #564,062 of 2,286,539 )

Recent downloads (6 months)
4 ( #323,129 of 2,286,539 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature