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
暫譯: 第14屆與第15屆亞洲邏輯會議論文集：2015年1月5日至8日印度孟買及2017年7月10日至14日韓國大田

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.