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.
Aldizkaria:
Logic Journal of the IGPL

ISSN: 1367-0751,  1368-9894

Argitalpen urtea: 2012

Alea: 20

Zenbakia: 3

Orrialdeak: 579-588

Mota: Artikulua

DOI: 10.1093/JIGPAL/JZR007 GOOGLE SCHOLAR
Datuen iturria: Scopus