Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Non-clausal multiary α-generalized resolution principle for a lattice-valued propositional logic'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science

    Physics & Astronomy