Title |
On alpha-satisfiability and its alpha-lock resolution in a finite lattice-valued propositional logic
|
International Journal
|
|
Year of publication |
2012
|
Author | |
Publisher |
Oxford University Press
|
Volume |
20
|
Pagination |
579-588
|
Keywords | |
Journal |
Logic Journal of the IGPL
|
Number |
3
|
URL |
http://jigpal.oxfordjournals.org/content/20/3/579
|
Altamente citado |
Off
|
Hot paper |
Off
|
Número especial |
Off
|