The purpose of the proof theory is to provide the characterization of the property ⊨ A in terms of axioms and rules of inference. In this section, we define a deducibility predicate ⊢ inductively by operations on formulas that depend only on their syntactic structure in such a way that for all formulas A,