Author: Asian Logic Conference (9th 2005 Novosibirsk, Russia)