Cirquent calculus (circuit sequent calculus) is a proof calculus that combines aspects of sequent calculus and boolean circuits. Its proof-objects are graph-style objects, termed cirquents, as opposed to the traditional tree-style objects such as formulas or sequents.
Cirquent calculus (circuit sequent calculus) is a proof calculus that combines aspects of sequent calculus and boolean circuits. Its proof-objects are graph-style objects, termed cirquents, as opposed to the traditional tree-style objects such as formulas or sequents.
Source: Wikipedia "Cirquent calculus" · CC BY-SA 4.0
Share this article: X · Bluesky