Tipos de razonadores

Se presentan como extensiones del cálculo proposicional clásico, las jerarquías de sistemas deductivos SCR-(n+1) y CP-n con n ≥ 0. SCR-n es el sistema de creencias para los razonadores de tipo n y CP-n es el cálculo proposicional asociado a los razonadores de tipo n. Los teoremas de los sistemas SCR...