Introduction to Cirquent Calculus and Abstract Resource Semantics

Giorgi Japaridze

This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint seq…