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).

	C	K	D	T	Tr	4	B	E	M	O	V
H1A	1	1				1	1	1		1	1
H2A	1					1		1
H3A	1					1		1
H4A	1						1
H5A	1						1
H6A	1	1	1	1	1	1	1	1	1	1
H7A	1
H8A	1	1	1
H9A	1	1	1
H10A	1
H11A	1	1	1				1
H12A	1	1	1	1
H13A	1	1	1	1
H14A	1	1	1						1
H15A	1	1	1						1
H16A	1	1	1	1		1			1