Proceedings of the 12th Asian Logic Conference [electronic resource] : Wellington, New Zealand, 15-20 December 2011 / edited by Rod Downey, Victoria University of Wellington, New Zealand; Jörg Brendle, Kobe University, Japan; Robert Goldblatt, Victoria University of Wellington, New Zealand; Byungham Kim, Yonsei University, Korea.

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic--