Affiliations: [a] College of Mathematics and Information Science, Shaanxi Normal University, South Chang’an Road, Yanta District, Xi’an, P.R. China | [b] College of Computer Science, Shaanxi Normal University, West Chang’an Avenue, Chang’an District, Xi’an, P.R. China
Correspondence:
[*]
Corresponding author. Hui-Xian Shi, College of Mathematics and Information Science, Shaanxi Normal University, No. 199, South Chang’an Road, Yanta District, Xi’an, P.R. China. Tel.: +86 15829631605; Fax: +86 29 85310232; E-mail: rubyshi@163.com
Note: [1] This paper was supported by the National Natural Science Foundation of China (11171200, 11271237, 11501343, 11426148) and the Fundamental Research Funds for the Central Universities (GK201402006).
Abstract: Based on the concept of truth degree for logical formulas, a pseudo-metric is constructed on the set of all classical propositional formulas, and a metric is naturally induced on the corresponding Lindenbaum algebra of Boolean type, which constitutes a metric space, called the classical logic metric space. We respectively study both lattice completions and metric completions of this space, and compare the two kinds of completions from the angle of lattice structure as well as metric structure. On one hand, it is proved that metric completions of the classical logic metric space are complete Boolean algebras, which also act as lattice completions of the Lindenbaum algebra. On the other hand, it is pointed out that the normal lattice completion of the Lindenbaum algebra constitutes a Boolean algebra as well, which is strictly smaller than metric completions of the classical logic metric space in the sense of order-embedding. Also, the normal lattice completion can be seen as a dense subspace of the metric completions in the sense of isometry.
