On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic
- He, X.
- Liu, J.
- Xu, Y.
- Martínez, L.
- Ruan, D.
ISSN: 1367-0751, 1368-9894
Ano de publicación: 2012
Volume: 20
Número: 3
Páxinas: 579-588
Tipo: Artigo
ISSN: 1367-0751, 1368-9894
Ano de publicación: 2012
Volume: 20
Número: 3
Páxinas: 579-588
Tipo: Artigo