α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra

Author: Xu Weitao  

Publisher: Inderscience Publishers

ISSN: 1755-8913

Source: International Journal of Applied Management Science, Vol.4, Iss.4, 2012-10, pp. : 460-479

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract