alpha-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

Xingxing He, Yang Xu, Jun Liu, Xiaomei Zhong

    Research output: Other contributionpeer-review

    Original languageEnglish
    Volume9
    Publication statusPublished - 2014

    Publication series

    NameWorld Scientific Proceedings Series on Computer Engineering and Information Science

    Keywords

    • Lattice-valued logic
    • Equality
    • alpha-Paramodulation
    • Automated reasoning

    Cite this