Hypersequent Calculus

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An extension of the sequent calculus that manipulates collections (multisets) of sequents—called hypersequents—in parallel, providing structural mechanisms to capture intermediate-strength and many nonclassical logics by permitting communication and interaction between component sequents.