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)

Related topics

Related topics

2 relations
Computability logicProof calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Axiomatizing Japaridze's approach to propositional IF logic
Cirquent calculus is a new proof-theoretic and semantic approach introduced for the needs of computability logic by G.Japaridze… 
2012
2012
Open problems in computability logic
1. Remark 7 of [6] claims that the cirquent calculus system CL5 without duplication has polynomial size proofs (every provable… 
2010
2010
Deduction Theorem for Symmetric Cirquent Calculus
Cirquent calculus is a recent approach to proof theory, whose characteristic feature is being based on circuit-style structures… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)