Tipo de sistema.
Lenguaje formal y sistema deductivo que comprende un conjunto de reglas de inferencia o de axiomas.