History of logic in contemporary China (1949–2021)