Xu, Wei-tao; Xu, Yang Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra. (English) Zbl 1283.03091 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178-181 (2012). MSC: 03G10 03B35 03B52 PDFBibTeX XMLCite \textit{W.-t. Xu} and \textit{Y. Xu}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178--181 (2012; Zbl 1283.03091) Full Text: DOI
Xu, Yang; Liu, Jun; Ruan, Da; Li, Xiaobing Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1239.03007 Inf. Sci. 181, No. 10, 1836-1862 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B50 03B52 68T15 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 181, No. 10, 1836--1862 (2011; Zbl 1239.03007) Full Text: DOI
Ma, Jun; Li, Wenjiang; Ruan, Da; Xu, Yang Filter-based resolution principle for lattice-valued propositional logic LP\((X)\). (English) Zbl 1114.03019 Inf. Sci. 177, No. 4, 1046-1062 (2007). MSC: 03B52 03B35 PDFBibTeX XMLCite \textit{J. Ma} et al., Inf. Sci. 177, No. 4, 1046--1062 (2007; Zbl 1114.03019) Full Text: DOI
Xu, Yang; Ruan, Da; Kerre, Etienne E.; Liu, Jun \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\). (English) Zbl 0997.03006 Inf. Sci. 132, No. 1-4, 221-239 (2001). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B35 03B50 68T15 03B52 03G10 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 132, No. 1--4, 221--239 (2001; Zbl 0997.03006) Full Text: DOI
Xu, Yang; Ruan, Da; Kerre, Etienne E.; Liu, Jun \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\). (English) Zbl 0987.03010 Inf. Sci. 130, No. 1-4, 195-223 (2000). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03B35 03B50 03B52 68T15 PDFBibTeX XMLCite \textit{Y. Xu} et al., Inf. Sci. 130, No. 1--4, 195--223 (2000; Zbl 0987.03010) Full Text: DOI
O’Hearn, Peter W.; Stachniak, Zbigniew A resolution framework for finitely-valued first-order logics. (English) Zbl 0751.68062 J. Symb. Comput. 13, No. 3, 235-254 (1992). Reviewer: R.Horsch (Markdorf) MSC: 68T15 PDFBibTeX XMLCite \textit{P. W. O'Hearn} and \textit{Z. Stachniak}, J. Symb. Comput. 13, No. 3, 235--254 (1992; Zbl 0751.68062) Full Text: DOI