α-generalized resolution principle based on the lattice-valued first-order logic system
XU Weitao;ZHANG Wenqiang;XU Yang;ZHANG Dexian
J4 . 2014, (1): 135 -139 .  DOI: 10.3969/j.issn.1001-2400.2014.01.024

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd