This paper introduces a refinement of the sequent calculus approach called cirquent calculus. Roughly speaking, the difference between the two is that, while in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint and independent sequences of formulas, in cirquent calculus they are permitted to share elements. Explicitly allowing or disallowing shared resources and thus taking to a more subtle level the resource-awareness intuitions underlying substructural logics, cirquent… CONTINUE READING

Proceedings of LLC 9 , the 9 th conference on Logic , Language , and Computation , held at CSLI • 2003

Resource consciousness in classical logic. In: Games, Logic, and Constructive Sets, Proceedings of LLC9, the 9th conference on Logic, Language, and Computation, held at CSLI (ed