Proceedings Of The 14th And 15th Asian Logic Conferences: 14th and 15th Asian Logic Conferences Mumbai, India & Daejeon, South Korea, 5 - 8 January 2015 & 10 - 14 July 2017

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.

Readership: Researchers in mathematical logic and foundation and theoretical computer science.