On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
Tipo de publicación: International Journal
Año de publicación: 2012
Autores: X He
Director: Jun Liu, Yang Xu, Luis Martínez, Da Ruan
Tipo: Logic Journal of the IGPL
Editorial: Oxford University Press
Volumen: 20
Número: 3
Paginación: 579-588
URL: http://jigpal.oxfordjournals.org/content/20/3/579