@revista_internacional{342, keywords = {finite lattice-valued propositional logic, Lattice-valued logic, α-lock resolution method, α-resolution principle, α-satisfiability}, author = {X He and Jun Liu and Yang Xu and Luis Martínez and Da Ruan}, title = {On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic}, year = {2012}, journal = {Logic Journal of the IGPL}, volume = {20}, number = {3}, pages = {579-588}, publisher = {Oxford University Press}, url = {http://jigpal.oxfordjournals.org/content/20/3/579}, note = {

DOI: 10.1093/jigpal/jzr007 Impact factor: 0.458 5-Yr impact factor: 0.383

}, }