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 |
| 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
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
