•  7
    We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.
  •  262
    On the responsible subjects of self-driving cars under the sae system: An improvement scheme
    with Dan Wan and Zhiwei Huang
    In 2020 IEEE International Symposium on Circuits and Systems (ISCAS), Ieee. pp. 1-5. 2020.
    The issue of how to identify the liability of subjects after a traffic accident takes place remains a puzzle regarding the SAE classification system. The SAE system is not good at dealing with the problem of responsibility evaluation; therefore, building a new classification system for self-driving cars from the perspective of the subject's liability is a possible way to solve this problem. This new system divides automated driving into three levels: i) assisted driving based on the will of driv…Read more