Representation of Game Algebras

Studia Logica 75 (2):239-256 (2003)
  Copy   BIBTEX

Abstract

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1027363028181

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Representation of game algebras.Yde Venema - 2003 - Studia Logica 75 (2):239 - 256.
A common abstraction of MV-Algebras and Abelian l-groups.Francesco Paoli - 2000 - Studia Logica 65 (3):355-366.
Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Game Logic is Strong Enough for Parity Games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205-219.
An N -player semantic game for an N + 1-valued logic.Shier Ju & Xuefeng Wen - 2008 - Studia Logica 90 (1):17-23.
The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
States on Hilbert Algebras.Cătălin Buşneag - 2010 - Studia Logica 94 (2):177-188.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Game logic is strong enough for parity games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205 - 219.
Duality for Double Quasioperator Algebras via their Canonical Extensions.M. Gehrke & H. A. Priestley - 2007 - Studia Logica 86 (1):31-68.
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
Amalgamation in varieties of pseudo-interior algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.

Analytics

Added to PP
2016-02-14

Downloads
19 (#778,470)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.

Add more citations

References found in this work

No references found.

Add more references