Research Article
Four Equivalent Relations between MCP and CP and Its Implication in Quantum and Information Theory
Table 5
K-2 shows the validity of 10 common (simplified) BCP axioms in the 16 formulas composed of (A, C) (see [7]. The valid formulas of each axiom form a logical relationship revealed by the standard semantics with the original formula A. The relationship among axioms is also the same as the results of previous modal syntax research).
|