Completeness Theory for Propositional Logics

Completeness is one of the most important notions in logic and the foundations of mathematics. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.