Key characteristics of the syntactic consequence relation include:
The symbol ⊢ separates (left) from conclusions (right). governed by specific rules of inference
A derivation might be valid in one logic (e.g., Classical Logic) but invalid in another (e.g., Intuitionistic or Relevant Logic). governed by specific rules of inference
(read as "Gamma proves phi" or "phi is derivable from Gamma") indicates that there exists a sequence of logical steps, governed by specific rules of inference, that leads from the set of assumptions Γcap gamma to the formula governed by specific rules of inference