Uniformities and uniform topologies in classical propositional logic

LUO Qing-jun, WANG Guo-jun

PDF(1030 KB)
Welcome to visit Journal of Shaanxi Normal University(Natural Science Edition)!
Journal of Shaanxi Normal University(Natural Science Edition) ›› 2013, Vol. 41 ›› Issue (3) : 7-12.

Uniformities and uniform topologies in classical propositional logic

  • LUO Qing-jun1,2, WANG Guo-jun1*
Author information +
History +

Abstract

Based on the congruence induced by Γ theory in the set F(S) of all formulae in classical propositional logic, the uniformities and uniform topologies on F(S) are established to describe its topological structure. It is proved that the uniform topologies are the second countable, zero-dimensional and complete regular topologies without isolated points.It can be proved that the logic connections  and → are continuous with respect to the uniform topology. Meanwhile, it is concluded that F(S) is divided into 2n pairwise disjoint areas by n maximal consistent theories, and the diameter of each area is equal to 1 in the logic metric space.

Key words

propositional logic / uniformity / uniform topology / maximal consistent theory

Cite this article

Download Citations
LUO Qing-jun, WANG Guo-jun. Uniformities and uniform topologies in classical propositional logic. Journal of Shaanxi Normal University(Natural Science Edition). 2013, 41(3): 7-12

References

PDF(1030 KB)

36

Accesses

0

Citation

Detail

Sections
Recommended

/