On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
International Journal
Year of publication
2012
Publisher
Oxford University Press
Volume
20
Pagination
579-588
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