Lógica anotada paraconsistente · abstención tipada

Analizador de Paneles AET

Contrae un tensor de evidencia anotada, tipa el panel de fuentes con la cadena de precedencia y ordena sólo las alternativas decidibles. Implementa el procedimiento de Leyva-Vázquez (2026), con la misma tolerancia τ = 10⁻⁹ que la implementación de referencia.

Panel de alternativas

Sólo las decidibles se ordenan · pulsa una para ver su diagnóstico

Bandas declaradas

antes de ver los datos
Fuente dividida si Gct > δ; silente si Gct < −δ.
Decidible si |Gc| de la media ≥ ε. Oposición si O > ε.
Separa I de ⊥ dentro de la rama silente.

Fuentes y criterios

los pesos se normalizan a suma 1
FuentePeso r
CriterioPeso w

Tensor de evidencia

T · evidencia a favor I · indeterminación declarada F · evidencia en contra

Diagnóstico

    Cuadrado de anotaciones

    posiciones de fuente

    Posiciones por fuente

    tras contraer criterios
    FuenteTIF GcGctEstado

    Diagnóstico por criterio

    lo que la contracción diluye
    Criteriomáx GctOmáx IAviso

    Ordenación de las decidibles

    Gc de la posición media · equivale al TOPSIS Manhattan
    #AlternativaTipo GcC₁SLectura