PCP: Theories

Peter Jipsen, 2001-2003

  1. BCK algebras
  2. Boolean algebras
  3. Boolean rings
  4. Groups
  5. Kleene algebras
  6. Gentzen rules for Kleene algebras
  7. Lattices
  8. Loops
  9. Order algebras
  10. Posets
  11. Quasigroups
  12. Relation algebras
  13. Residuated lattices
  14. Rings
  15. Semilattices
  16. Tarski's High School Identities

PCP: Logical Systems

  1. Classical Propositional Logic
  2. Relevant Implication Logic