Axiom Abbreviations and Acronyms

1. AC
   Axioms of Choice
2. BPI
   Boolean Prime Ideal
3. DC
   Dependent Choice
4. DT
   Deduction Theorem
5. NBG
   Neumann-Bernays-GöDel
6. NBG
   Neumaun-Bernays-Goedel
7. PITL
   Propositional Interval Temporal Lagic
8. ZFC
   Zero Fuel Calibration

Last updated: January 4, 2020 — Total entries: 8