The BCSK Logic

Background

• The fixed point discriminator on set A is f : A³ ⇒ A;
  f(X,Y,Z) = Z if X = Y, 1 otherwise
• The generic fixed point discriminator variety is ...
    etc, etc
• BCSK is formulae equivalent to S(F P D₁,1)
• It's easy to be a novice!

BCSK Axioms

• i and j are strong and weak implication
• 9 axioms