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 journalArticle

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

Cite this