Temporal normal form for Linear Temporal Logic formulae. - Hui-Xian Shi; Yong-Ming Li 001 (J. Intell. Fuzzy Syst., 2016)

Lattice and metric completions of the classical logic metric space and a comparison. - Hui-Xian Shi; Yong-Ming Li 001 (J. Intell. Fuzzy Syst., 2016)