Skip to search formSkip to main contentSkip to account menu

Cirquent calculus

Cirquent calculus is a proof calculus which manipulates graph-style constructs termed cirquents, as opposed to the traditional tree-style objects… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Cirquent calculus is a new proof-theoretic and semantic approach introduced for the needs of computability logic by G.Japaridze… 
2012
2012
Cirquent calculus and calculus of structures are two approaches to proof theory. Both of them apply deep inference which modifies… 
2012
2012
1. Remark 7 of [6] claims that the cirquent calculus system CL5 without duplication has polynomial size proofs (every provable… 
2010
2010
Cirquent calculus is a recent approach to proof theory, whose characteristic feature is being based on circuit-style structures…