## [Cálculo de Hipersecuencias](/es/node/60968) Definición 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. ## Principio Principio Tratar el estado de prueba como una hipersecuencia, es decir, una colección finita de sequent separadas por un delimitador paralelo; las reglas actúan ya sea dentro de sequent individuales o entre componentes (reglas de comunicación), posibilitando derivaciones que reflejan propiedades estructurales no clásicas como la prelinealidad o ciertas interacciones modales/temporales. ## Demostración Demostración Para capturar una lógica con prelinealidad, una regla de hipersecuencia puede permitir mover una fórmula de un sequent componente a otro o combinar componentes para descargar supuestos; por ejemplo, demostrar A→B∨B→A puede usar varios sequent en paralelo donde el razonamiento por componente más una regla de comunicación produce la tautología deseada en el cálculo de hipersecuencias. ## Aplicación incorrecta Aplicación incorrecta Usar las hipersecuencias como meros multiconjuntos de sequent sin implementar las reglas de comunicación o estructurales previstas puede malrepresentar la lógica objetivo; asimismo, añadir reglas inter-componentes irrestrictas puede colapsar distinciones entre lógicas y producir sistemas insostenibles respecto a la semántica original. ## Consecuencia Consecuencia Diseñados para una lógica objetivo, los cálculos de hipersecuencias capturan un rango más amplio de comportamientos estructurales que los sistemas de sequent único, a menudo proporcionando sistemas sin corte para lógicas intermedias y modales, clarificando la búsqueda de prueba en paralelo y permitiendo extensiones modulares añadiendo reglas por componente o de comunicación. ## Inversión Inversión El enfoque opuesto es un cálculo de sequent único donde solo se manipula un sequent a la vez; los cálculos de sequent único suelen bastar para la lógica clásica pero fallan en capturar algunos principios no clásicos que las hipersecuencias representan naturalmente mediante la interacción de componentes. ## Límite Límite Los métodos de hipersecuencias se aplican cuando la interacción paralela de componentes modela la semántica de la lógica (lógicas intermedias, ciertas lógicas modales y subestructurales); no son necesarios para lógicas ya tratadas por un sequent único y requieren diseño cuidadoso de reglas inter-componentes para evitar extensiones insostenibles o trivializantes. ## Tensión semántica Tensión semántica Existe tensión entre hipersecuencias y formalisms alternativos multi-estructura (cálculos de sequent etiquetados, sequents anidados, calculi de display): cada formalismo expone una disciplina distinta para la interacción e inventario entre componentes; elegir uno implica compensaciones en modularidad, complejidad de búsqueda de prueba y cercanía a la semántica. ## Síntesis Síntesis El Cálculo de Hipersecuencias generaliza los sequents a colecciones paralelas de sequents y equipa la teoría de la prueba con reglas que actúan dentro y entre componentes: formalizando comunicación inter-componentes controlada, captura propiedades estructurales de muchas lógicas no clásicas y produce sistemas modulares, a menudo sin corte, adaptados a su semántica.