Estudia las reglas de la inferencia, la lógica y las reglas de procedimiento en ambos sistemas.