10th Asian Logic Conference
scientific article