Quantum Effect Axioms

Grammar Name: quantum.bnf

Extension Name: quantum.def

Grammars required by Process Descriptions: occ_effects.bnf, state_effects.bnf, effects.bnf

Process Descriptions

(quantum ?a)

< quantum_axiom > ::=
(forall (?s) 
	(if	 (and	{< leaf_constrained_axiom > | < inner_constrained_axiom}
			< simple_state_axiom >)
	 	 < simple_holds_axiom >))

(semiclassical ?a)

< semiclassical_axiom > ::=
(forall (?s) 
	(if	 (and	{< leaf_constrained_axiom > | < inner_constrained_axiom}
	 	 	< state_axiom >)
	 	 < simple_holds_axiom >))