Non-clausal multi-ary α-generalized resolution principle for a lattice-valued first-order logic

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)

    Fingerprint

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

    Mathematics

    Engineering & Materials Science