<br> <b>Outline: </b> <p> Equational Logic <p> Implementing (Quasi-)equational Logic <p> Algebraic Gentzen Systems <p> Residuated Lattices <p> <hr>   <p>  <p>  <p> <p> <a href=equationallogic.html>Equational Logic</a> <p> <a href=theoriesPO1.html>Some theories ordered by interpretability</a> <p> <a href=PCPhome.html>Point and Click Proofs in quasi-equational logic</a> <p> <a href=PCPacknowledgements.html>Some acknowledgements</a> <p> <a href=algGentzen.html>Algebraic Gentzen Systems</a> <p> <a href=usctalkrl.html>Residuated lattices</a> <p> <a href=../reslat/reslat.htm>Decision procedure for RL equations</a> (take the quiz) <p> <a href=usctable.html>Decidability Table</a> <p> <center><a href=usctalk01.html>Next</a>