Logic in China