Symbols:Abbreviations/B

BNF

 * Backus-Naur Form (previously Backus Normal Form until the syntax was simplified by ).

It was who suggested the name change, on the grounds that "normal" is an inaccurate description.

BPI

 * The Boolean Prime Ideal Theorem.