Synthesising Axioms by Games

Robin Hirsch

Department of Computer Science
University Colege
Gower Street
London WC1E 6BT, UK
R.Hirsch@cs.ucl.ac.uk
http://www.cs.ucl.ac.uk/staff/R.Hirsch/

Ian Hodkinson

Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ
UK
imh@doc.ic.ac.uk
http://www.doc.ic.ac.uk/~imh

Abstract

It is an important problem in algebraic logic to find explicit axiomatisations of various classes of algebras, atom structures, etc. We will discuss some of the history of the problem, and in what way games can contribute to solving it.

Dvi-file
PS-File
PDF-File
Bibtex Entry