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

  1. He, X.
  2. Liu, J.
  3. Xu, Y.
  4. Martínez, L.
  5. Ruan, D.
Revista:
Logic Journal of the IGPL

ISSN: 1367-0751,  1368-9894

Año de publicación: 2012

Volumen: 20

Número: 3

Páginas: 579-588

Tipo: Artículo

DOI: 10.1093/JIGPAL/JZR007 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus