On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
Type of publication: International Journal
Year of publication: 2012
Authors: X He
Director: Jun Liu, Yang Xu, Luis Martínez, Da Ruan
Type: Logic Journal of the IGPL
Editorial: Oxford University Press
Volumen: 20
Number: 3
Pagination: 579-588
URL: http://jigpal.oxfordjournals.org/content/20/3/579