Four Equivalent Relations between MCP and CP and Its Implication in Quantum and Information Theory

Table 1

Notations in CP and MCP.

Primitive symbols	Standard notation	MCP notation
[1] Variable	p0, p1, p2, …pn, …, n ∈ N	p0, p1, p2, …pn, …, n ∈ N
[2] Connectives	¬, ∧;	¬, ∧; □
[3] Structure	(,)	(,)