The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.
The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.
该文将对这一逻辑建立系统，并证明其元逻辑性质。
The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.
该文将对这一逻辑建立系统，并证明其元逻辑性质。