Introduction to Cirquent Calculus and Abstract Resource Semantics

  title={Introduction to Cirquent Calculus and Abstract Resource Semantics},
  author={Giorgi Japaridze},
  journal={J. Log. Comput.},
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


Publications referenced by this paper.
Showing 1-10 of 12 references

A Game Semantics for Linear Logic

Ann. Pure Appl. Logic • 1992
View 10 Excerpts
Highly Influenced

Propositional computability logic I

ACM Trans. Comput. Log. • 2006
View 2 Excerpts

Propositional computability logic II

ACM Trans. Comput. Log. • 2006
View 5 Excerpts

Introduction to computability logic

Ann. Pure Appl. Logic • 2003
View 1 Excerpt

Resource consciousness in classical logic

A. Blass.
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

A. Blass
View 2 Excerpts

The logic of tasks

Ann. Pure Appl. Logic • 2002
View 1 Excerpt

The Propositional Logic of Elementary Tasks

Notre Dame Journal of Formal Logic • 2000
View 1 Excerpt

Similar Papers

Loading similar papers…