Proceedings of the 13th Asian Logic Conference

Nonfiction, Science & Nature, Mathematics, Set Theory, Logic

• Author: Xishun Zhao, Qi Feng, Byunghan Kim;Liang Yu
• ISBN: 9789814678018
• Publisher: World Scientific Publishing Company
• Publication: March 5, 2015
• Imprint: WSPC
• Language: English

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.

Contents:

• An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jörg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and André Nies)
• A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama)
• Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey and Keng Meng Ng)
• A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles)
• Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov)
• Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda)
• Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo)
• On Categorical Relationship among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty)
• Realizability and Existence Property of a Constructive Set Theory with Types (Farida Kachapova)
• Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu)
• On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano)
• Large Cardinals and Higher Degree Theory (Xianghui Shi)
• Degree Spectra of Equivalence Relations (Liang Yu)

Readership: Researchers in mathematical logic and algebra, computer scientists in artificial intelligence and fuzzy logic.
Key Features:

• The Asian Logic Conference is the most significant logic meeting outside of North America and Europe
• The contributors are prominent logicians or young leading researchers
• Some papers propose a few new questions or new research topics