On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

X.X. He, J Liu, Y. Xu, L. Martinez, D. Ruan

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)
Original languageEnglish
Pages (from-to)579-588
JournalLogic Journal of the IGPL
Volume20
Issue number3
DOIs
Publication statusPublished (in print/issue) - Jun 2012

Cite this