 The Lindenbaum-Tarski method can be outlined as follows. To prove that a class of algebras \(\bK\) is a \(\delta(p) \approx \varepsilon(p)\)-algebraic semantics for a logic \(\bL\) first it is shown that \(\bK\) gives a sound \(\delta(p) \approx \varepsilon(p)\)-semantics for \(\bL\), namely that if \(\Gamma \vdash_{\bL } \phi\), then for every \(\bA \in \bK\) and every valuation \(v\) in \(\bA\) if the values of the formulas in \(\Gamma\) satisfy \(\delta(p) \approx \varepsilon(p)\), then the value of \(\phi\) does too. Secondly, the other direction, that is, the completeness part, is proved by what is properly known as the Lindenbaum-Tarski method. This method uses the theories of \(\bL\) to obtain matrices on the algebra of formulas and then reduces these matrices in order to get for each one a matrix whose algebra is in \(\bK\) and whose set of designated elements is the set of elements of the algebra that satisfy \(\delta(p) \approx \varepsilon(p)\). We proceed to describe the method step by step.