Cirquent calculus in a nutshell

DOI10.21146/2074-1472-2022-28-1-125-141MaRDI QIDQ6376195arXivWikidataFDO

Authors Giorgi Japaridze, Bikal Lamichhane

Publication date 27 August 2021

Published in arXiv

Full work available at URL https://doi.org/10.21146/2074-1472-2022-28-1-125-141

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

arXiv classification

cs.LO math.LO

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.

This page was built for publication: Cirquent calculus in a nutshell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6376195)