Cirquent calculus in a nutshell
Logic in Computer Science
2021-08-31 v1 Logic
Abstract
This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility of sharing of subexpressions/subresources between different expressions/resources. This is achieved by dealing with circuit-style constructs, termed cirquents, instead of formulas, sequents or other tree-like structures. The approach exhibits greater expressiveness, flexibility and efficiency compared to the more traditional proof-theoretic approaches.
Cite
@article{arxiv.2108.12552,
title = {Cirquent calculus in a nutshell},
author = {Giorgi Japaridze and Bikal Lamichhane},
journal= {arXiv preprint arXiv:2108.12552},
year = {2021}
}