Alexej Pynko

• Deduction Theorem and Peirce Law in General Algebraic Logic
• Equivalent Universal Horn Theories. General Algebraic Logic
• Implicative and Disjunctive Prevarieties
• Implicativity Versus Filtrality
• Many-Sorted General Algebraic Logic