Su, Kaile; Chen, Huowang; Liu, Haiyan A hierarchical logic of context. (English) Zbl 0922.03024 J. Nanjing Univ., Math. Biq. 15, No. 2, 147-155 (1998). MSC: 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{K. Su} et al., J. Nanjing Univ., Math. Biq. 15, No. 2, 147--155 (1998; Zbl 0922.03024)
Su, Kaile; Ding, Decheng; Chen, Huowang A three-valued quantificational logic of context. (English) Zbl 0881.03015 Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 343-352 (1997). MSC: 03B45 68T27 03B50 PDFBibTeX XMLCite \textit{K. Su} et al., Lect. Notes Comput. Sci. 1276, 343--352 (1997; Zbl 0881.03015)