On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

Autores: Xingxing He and Jun Liu and Yang Xu and Luis Martinez and Da Ruan

Tipo: articulo_revista

Año: 2012

Revista: LOGIC JOURNAL OF THE IGPL

Volumen: 20

Páginas: 579–588

DOI: 10.1093/jigpal/jzr007

Descargar BibTeX