Equational Logic
Implementing (Quasi-)equational Logic
Algebraic Gentzen Systems
Residuated Lattices
Some theories ordered by interpretability
Point and Click Proofs in quasi-equational logic
Some acknowledgements
Residuated lattices
Decision procedure for RL equations (take the quiz)
Decidability Table