The Classical symmetrical Logic Metric sub-Space
暂无分享,去创建一个
In this paper, addition and number multiplication are defined in the classical logic metric space, and the definition of norm is introduced based on the degree of formula. It also is proved that the classical logic metric space builds a Z(2)normable linear logic space. And the concept of a Z(2)normable linear logic sub-space is introduced in. According to the definition, it is obtained that the set of n-symmetric logical formula constitutes a Z(2)normable linear logic sub-space.