All Stories

  1. The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1

    Article • Journal of Intelligent & Fuzzy Systems, July 2017, IOS Press

    Dr. Yuhui Wang