Cirquent calculus is a formal system that extends the traditional sequent calculus, aiming to handle certain aspects of logic more effectively, particularly in the context of proof theory and structural proof theories. The main innovation in cirquent calculus is its ability to represent proofs in a more flexible way by using what are called "cirquents." A cirquent is a generalization of a sequent, allowing for multiple premises and conclusions that can be structured in a graph-like form rather than in a linear sequence.
New to topics? Read the docs here!