$( alpha, beta)$ - Lock Resolution Method of Linguistic Truth- Valued Intuitionistic Fuzzy First-order Logic. - Nan Li; Yanling Wang; Yujie Cao; Martinez Carracedo Jorge; Lixian Xu; Jun Liu (ISKE, 2023)