Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.