Las diversas formas en que tratemos las expresiones lingüísticas formalizadas como proposiciones lógicas dan lugar a sistemas diversos de formalización y cálculo: