Laws of Form
Let 0 and 1 be the two basic primitive values of Boolean algebra. Let AB denote a binary operation of Boolean algebra. Let (X) stand for the Boolean complement of X. Then the calculus of indications is simply Boolean arithmetic reduced to the two equations 11=1 and (1)=0. These are the only "axioms" in LoF.