Metamath Proof Explorer

Table of Contents - 1.7. Other axiomatizations related to classical predicate calculus

1. Aristotelian logic: Assertic syllogisms
   1. barbara
   2. celarent
   3. darii
   4. dariiALT
   5. ferio
   6. barbarilem
   7. barbari
   8. barbariALT
   9. celaront
   10. cesare
   11. camestres
   12. festino
   13. festinoALT
   14. baroco
   15. barocoALT
   16. cesaro
   17. camestros
   18. datisi
   19. disamis
   20. ferison
   21. bocardo
   22. darapti
   23. daraptiALT
   24. felapton
   25. calemes
   26. dimatis
   27. fresison
   28. calemos
   29. fesapo
   30. bamalip
2. Intuitionistic logic
   1. axia1
   2. axia2
   3. axia3
   4. axin1
   5. axin2
   6. axio
   7. axi4
   8. axi5r
   9. axial
   10. axie1
   11. axie2
   12. axi9
   13. axi10
   14. axi12
   15. axbnd