The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.

• 该文将对这一逻辑建立系统，并证明其元逻辑性质。