Cálculo de Hipersecuencias

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una extensión del cálculo de sequent que manipula colecciones (multiconjuntos) de sequent —llamadas hipersecuencias— en paralelo, proporcionando mecanismos estructurales para capturar lógicas de fuerza intermedia y muchas lógicas no clásicas al permitir comunicación e interacción entre sequent componentes.