Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013

Author(s)

Bibliographic Information

Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013

edited by Xishun Zhao ... [et al.]

World Scientific, c2015

  • : [hardcover]

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references

Description and Table of Contents

Description

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.

Table of Contents

  • An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jorg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and Andre Nies)
  • Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey, Keng Meng Ng)
  • Degree Spectra of Equivalence Relations (Liang Yu)
  • Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda)
  • Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo)
  • Large Cardinals and Higher Degree Theory (Xianghui Shi)
  • Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov)
  • 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 (F Kachapova)
  • A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama)
  • On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano)
  • Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu)
  • A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles)

by "Nielsen BookData"

Details

Page Top