Li, Shunqin; Wang, Guojun An eighteen-classification partition of the propositional formula set \(F(S)\) based on a revised Gödel operator. (Chinese. English summary) Zbl 1212.03016 J. Sichuan Univ., Nat. Sci. Ed. 46, No. 6, 1615-1619 (2009). MSC: 03B52 68T37 PDFBibTeX XMLCite \textit{S. Li} and \textit{G. Wang}, J. Sichuan Univ., Nat. Sci. Ed. 46, No. 6, 1615--1619 (2009; Zbl 1212.03016) Full Text: DOI
Wu, Hongbo; Wang, Guojun Theory of generalized tautology in Łukasiewicz logic system. (Chinese. English summary) Zbl 1012.03507 J. Southwest Jiaotong Univ. 35, No. 5, 559-563 (2000). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{H. Wu} and \textit{G. Wang}, J. Southwest Jiaotong Univ. 35, No. 5, 559--563 (2000; Zbl 1012.03507)