On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
International Journal
Year of publication
2012
Author
X He
Jun Liu
Yang Xu
Luis Martínez
Da Ruan
Publisher
Oxford University Press
Volume
20
Pagination
579-588
Keywords
finite lattice-valued propositional logic
Lattice-valued logic
α-lock resolution method
α-resolution principle
α-satisfiability
Journal
Logic Journal of the IGPL
Number
3
URL
http://jigpal.oxfordjournals.org/content/20/3/579
He, X., et al. «On Alpha-Satisfiability And Its Alpha-Lock Resolution In A Finite Lattice-Valued Propositional Logic». Logic Journal Of The Igpl, 3, Oxford University Press, 2012, pp. 579-588.
Altamente citado
Off
Hot paper
Off
Número especial
Off
View