[logic-ml] Kyoto Workshop on Dialetheism and Paraconsistencyのご案内