Li termini si manipulanu usannu reguli (l’equivalnza, la riduzioni, la cunvirsioni), ca sunnu l’assioma di la teoria e ca si ponnu pinsari comu reguli di cumputazzioni.