In mathematical logic, the hypersequent framework is an extension of the proof-theoretical framework of sequent calculi used in structural proof theory...

_{i}} is an ordinary sequent, called a component of the hypersequent. As for sequents, hypersequents can be based on sets, multisets, or sequences, and the...

IMTL. Finite-valued Łukasiewicz logics require additional axioms. A hypersequent calculus for three-valued Łukasiewicz logic was introduced by Arnon Avron...

have proposed calculi with deep inference, for instance display logic, hypersequents, the calculus of structures, and bunched implication. Propositional...

Games and k-Consistency Tests" 2013 Ori Lahav "From Frame Properties to Hypersequent Rules in Modal Logics" 2014 Yaron Velner "Finite-memory strategy synthesis...

the application of many proof theories, such as Avron and Pottinger's hypersequents and Belnap's display logic to such modal logics as S5 and B. The sequent...

contributed to the theory of automated reasoning with his introduction of hypersequents, a generalization of the sequent calculus. Avron also introduced the...